Haskeller の異常な愛情：または、生粋の Haskeller は転職して Rust を一ヶ月半書いて何を思うようになったか この記事は Jij Advent Calendar 2024、Haskell Advent Calendar 2024、およびRust Advent Calendar 2024シリーズ2 の18日目の記事です。 各カレンダーの前後の記事は以下の通りです： Haskell Advent Calendar 2024 前の記事： 次の記事： gotoki_no_joe さんの「集めるDPについて」 Rust Advent Calendar 2024 シリーズ2 前の記事：yasuo-ozu さんの「本物のSpecializationをStable Rustで！」 次の記事：hyumanase さんの「Rust.Tokyo 2024 に初参加した」 Jij Adven

BERT や GPT の登場により、テキストを扱うモデルは大きく発展しましたが、否定というごくありふれた操作を扱うのが依然難しいです。 本稿では、その理由と、部分的な解決策を紹介します。 目次 目次 否定文を理解できないAIたち 否定文を理解できずに困ること なぜ否定文をうまく扱えないのか なぜたまに成功するのか 対処法 ファインチューニング プロンプトの工夫 否定文を意識した訓練 文書数を増やす クエリとキーを拡張する おわりに 否定文を理解できないAIたち BERT (tohoku-nlp/bert-base-japanese-v3) で A =「私はお寿司が好きです。」 B =「私の好きな食べ物はお寿司です。」 のテキスト埋め込みのコサイン類似度を求めてみましょう。A と B は同じようなことを言っており、予想されるようにコサイン類似度は 0.9695 と高いです。 では、 A =「

組版では段落内での改行位置を適切に決めていく必要がある。 一番単純なのは、単語が一行に入り切らなくなったら直前に改行を入れるというもの。 ただ、それだと場当たり的な組み方になってしまうので、段落全体で見たときに酷い見た目になってしまう可能性がある。 そこで、TeXなどの組版システムではもっと賢いアルゴリズムが使われていて、見た目の悪さが最小になるような工夫がされている。 これは数理最適化の応用の一例とも言える。 ここでは欧文組版でTeXが使っているアルゴリズムを整理してみたい。 これは数理最適化 Advent Calendar 2024およびTeX ＆ LaTeX Advent Calendar 2024の16日目の記事です。 空白の伸び縮み 欧文組版では行頭と行末がキレイに揃うように単語の間の空白を伸び縮みさせて調整する。 この伸び縮みする空白のことをTeXでは「グルー（glue, 「糊

はじめに 展示作品について（ざっくり） 専攻とあんま関係ない学会に行くと楽しいぜ。 非同期同調セルオートマトン ミナミコメツキガニと熱湯風呂 カオスの縁は綱渡り　選ばれしセルオートマトンたち 非同期同調セルオートマトンと拡張されたカオスの縁 リザバーコンピューティング 水面をのぞき込み、過去に投げ入れられた石を知る 自然計算器、誕生 計算器自然計算 余談: 計算器自然計算器自然計… 作品解説（詳細） 1. 人工生態系 2. 仮想神経ネットワーク 3. 物理空間とのインプット・アウトプット 4. 人工生態系をリザバーとしたリザバーコンピューティング（未実装） 表現方面の話 メディアアート計算 その他 あとがき 脚注/引用 はじめに こんにちは、避雷です。クマ財団のグループ展「Kuma Experiment」 第3弾「意外とハートフル」が終わりました。避雷は8期生として採択され、今年一年色々と

2002年から約10年 IIJ技術研究所長. 年を取ってからは古い計算機や昔の計算法に興味が増し, シミュレーターを作ってそのプログラムを書いたり. 近頃はKnuthのTAOCPにあった問題のプログラムなどに挑戦したりしている. 【IIJ 2024 TECHアドベントカレンダー 12/3の記事です】 人生の長い間に亘ってプログラムを書いてきた. 最初は大学院生の時, 記憶装置のない加減乗算だけの計算機を作り, 紙テープから数値と計算の命令を読み入れ, 中間結果は一旦紙テープに書き出し, それをまた読み入れて計算を続けるという代物だったが, 初期のプログラミングの楽しさはあった. やがて研究室で, 今から見るとままごとのような小規模の計算機を組立てると, 私はライブラリプログラムの整備に熱中した. 大学で講義する身分になると, 次々と多くの計算機, 多くのプログラミング言語と付き合うことにな

ネット広告に未来はあるか？「3rd Party Cookie廃止とPrivacy Sandboxの効果検証の裏側」[CADC2024] 本記事は、10月29日〜30日にかけて開催した「CyberAgent Developer Conference 2024」において発表された「ネット広告に未来はあるか？「3rd Party Cookie廃止とPrivacy Sandboxの効果検証の裏側」」に対して、社内の生成AI議事録ツール「コエログ」を活用して書き起こし、登壇者本人が監修役として加筆修正しました。 暮石 航大 (AI事業本部 データサイエンティスト) 2020年度新卒入社．AI事業本部のリターゲティング広告配信プロダクト「Dynalyst」にて広告配信の最適化に従事．配属と同時にAppleからATT(App Tracking Transparency)フレームワークが発表され，影響の大

Over the years, Flutter has attracted millions of developers who built user interfaces across every platform. Flutter began as a UI toolkit for mobile - iOS and Android, only. Then Flutter added support for web. Finally, Flutter expanded to Mac, Windows, and Linux. Across this massive expansion of scope and responsibility, the Flutter team has only marginally increased its size. To help expand Flu

バンダイナムコスタジオ、現実世界のライティング環境を再現するべく研究している「TrueHDRI」のアセットを公開 2 「Unreal Engine」2024年4月の無料マーケットプレイスコンテンツが公開！森の中の村を表現できるクレイ風アセットパック、ゴーレムのリグ付き3Dモデルなど 3 PLATEAU、3D都市モデル・Unity・Blenderを使ってリアルな映像を制作するチュートリアル記事を公開 4 【2024年5月25日(土) 東京開催】ゲームづくりで盛り上がろう！「ゲームメーカーズ スクランブル2024」 イベント情報（随時更新） 5 ブラウザで3D地図を閲覧できる「PLATEAU VIEW」がアップデート。新しいビル建築時のリアルな日照シミュレーションもクリック操作で可能に

真のオープンソースAI？最近、「オープンソースAI」について多くの議論が交わされている。意味が曖昧な自称オープンソースAIが横行する一方で、オープンソースAIをきちんと定義しようという動きもある。最も著名な例は、OSIことOpen Source Initiativeが主導する「オープンソースAIの定義（OSAID）」だろう（ドラフトの日本語参考訳）。 私も先日パリでの議論に参加したのだが、そのときある疑問が浮かんだ。AI実装の分野において、コピーレフトに相当する概念はありうるのだろうか？ コピーレフトとは、GNU GPLなどオープンソースライセンスの一部が主張する概念である。適用されたライセンスがコピーレフトを主張しているソースコードを改変して配布する場合、改変した部分をオリジナルと同じ条件の下で公開することが求められる。コピーレフトの対象となっているコードのいかなる部分もプロプライエタリ

Linux Daily Topics “ロシアのトロールどもに告ぐ⁠⁠、この変更が元に戻ることはない” ―Linus⁠⁠、ロシア系メンテナーの"追放"を認める 開発中の次期カーネル「Linux 6.12」の4本目のリリース候補版となる「Linux 6.12-rc4」は、スケジュール通りに10月20日に公開されたが、その前々日となる10月18日、カーネルメンテナーのGreg Kroah-Hartman（GKH）はいつもとは雰囲気が異なるパッチをカーネル開発者のメーリングリストに投稿した。 [PATCH] MAINTAINERS: Remove some entries due to various compliance requirements. -Greg Kroah-Hartman Remove some entries due to various compliance require

ミッチェル・ハシモト氏の個人開発によるターミナルエミュレータ「Ghostty 1.0」、12月に正式リリース予定。オープンソースとして公開へ HashiCorpの創業者の一人であるミッチェル・ハシモト氏は、個人のプロジェクトとして開発してきたターミナルエミュレータ「Ghostty」のバージョン1.0を今年（2024年）12月にリリースし、合わせてオープンソースとして公開することを明らかにしました。 ハシモト氏は2023年12月にHashiCorpを退職。その後、個人プロジェクトとしてターミナルエミュレータの開発をしていることをX/Twitterなどで以前から発信していました。 これは2023年5月のポストです。「ここ数年、なんとなく自分用のターミナルエミュレーターを作っていた。過去18カ月、これを自分だけのターミナルとしてフルタイムで使っている」と書いていることから分かるとおり、Hashi

このYouTubeライブはフロントエンドの最適化を専門にするmizchiさんがCloudflare Meet-up Tokyoで行った同タイトルのプレゼンを、RustやRDBの実装に詳しいkoba789さんを話し相手に語っていくというものだ。背景としては2人ともチーム開発の現場でのRailsが活発に利用されていた時期にウェブ開発を経験し、現在はNode.jsのサーバーサイドも実践している。 ライブは3時間半という長時間におよび、スライド外の周辺情報や持論や余談など多岐に渡るので、すでにこのプレゼンに触れた人でもさらに深掘りできるようなコンテンツになっている。 全体を大まかに1時間ごとの3パートに区切って視聴するとわかりやすい。前半はRailsからNext.jsに辿り着くまでのウェブ開発の変遷。ORMの話は主に後半戦で。最後の1時間はアフタートークになっている。 内容としてはRailsアプリ

2024年6月20日に『深掘りRubyKaigi 2024 with kateinoigakukun & ledsun & remore』を開催しました。イベントの内容をほぼ全文文字起こし形式でお届けします。この記事は第3部です。 hey.connpass.com イベントのアーカイブはYouTubeでも公開しています。 登場人物 ゲスト kateinoigakukun/齋藤さん ledsun/中島さん remore/澤田さん STORES fujimura/藤村 大介 mame/遠藤 侑介 CDNとWasm fujimura：ではremoreさんのパートに入ります。よろしくお願いします。また同じことを聞くんですけど、プログラミング、Ruby、Wasm歴や出会いを教えていただけたらと思います。 remore：プログラミングはいつなんだろう。でもledsunさんに似てて、やっぱり小さい頃MS

こんにちは、チェシャ猫です。 先日開催された YAPC::Hakodate 2024 で、様相論理について登壇してきました。公募 CFP 枠です。 fortee.jp しばらく後に録画アーカイブも公開される予定です。 質問への回答 当日は、ありがたいことに会場で何名かの方が質問を出してくれました。回答をまとめておきます。 EG φ の検査アルゴリズムにおいて、φ が真になるような強連結成分が複数見つかった場合はどうするのか？ EG φ が真になるのは「その状態から始まって φ を満たし続ける無限パスが存在するとき」なので、そのようなパスが複数見つかっても真偽に影響はありません。 もし実装するのであれば、強連結成分を順に試し、最初に条件に合致したものを見つけた時点で真を返すのが自然だと思います。 濾過法を適用する際の φ はどこから出てきたのか？ 濾過法は大まかに言えば、「φ の（有限とは限

https://behdad.org/text2024/ HarfBuzzの筆頭開発者であるBehdad Esfahbod氏によるState of Text Rendering 2024 (2024年テキストレンダリングの現状)という記事が、今年7月に公開された。 現在のフォントやテキストレンダリングに係るソフトウェアやエコシステムについてを広くカバーした論考であり、その分野に興味がある人は一読をお勧めしたい。しかし大著であるので読むのには時間がかかるかもしれない。というか、かかった。 さて、私は当該記事を読み、自分の理解の補助とするための雑な日本語訳を作成した。後ろに記載する。 始めはまとめのつもりで書いていたが途中からだんだん翻訳に近い形になった。厳密な訳になっていない場所もある。自分はこう読みましたという理解であり、間違いも多々あるかもしれない。 この訳を公開するのは、他人を助けると

YAPC::Hakodate 2024での発表内容です。 https://yapcjapan.org/2024hakodate/