先月、米国の半導体大手エヌビディアは、Blackwell（ブラックウェル）という新しいAIコンピューティングプラットフォームを発表した。AIの進化が速いことは知られていたが、ジェンスン・フアンCEOは、Blackwellはエヌビディアの現行の最上位チップよりも30倍も速く動作すると語った。 AIが世界の舞台に登場したのは突然...
かつて名人位のプロ棋士を倒したことで一躍脚光を浴びた人工知能（ＡＩ）プログラム開発者が新たな分野に挑戦している。次の一手を繰り出した先は、人間エミュレーション（模倣）を狙った完全自動運転の電気自動車（ＥＶ）市場だ。 2017年に行われた対局で佐藤天彦叡王（当時）に勝った将棋ＡＩ「Ｐｏｎａｎｚａ（ポナン...
カリー化と部分適用 先日同僚にカリー化を説明する機会がありました．その際に，簡潔に説明に適した自分用の資料があるといいなと思いましたので，こちらの記事を書くことにしました． この記事ではカリー化と部分適用について解説します．歴史等には触れずにただその内容について述べます． 混同しやすいという情報があ...
およそ 4 年前に「TypeScript で型レベル Brainfuck」という記事を書きました. susisu.hatenablog.com それから 4 年間の間に TypeScript も進化し, 型レベルプログラミングの技法にも大きな変化がありました. 特に顕著な影響があったものでは, TypeScript 4.0 のタプル型の改善 TypeScript 4.1 のテンプレートリテラル...
by Institute for Advanced Study 計算機科学分野で優れた業績を残した人物に与えられるチューリング賞の2023年度受賞者に、イスラエル出身でプリンストン高等研究所の計算機科学者であるアヴィ・ヴィグダーソン氏が選ばれました。ヴィグダーソン氏は、「計算におけるランダム性の理解の再構築」および「理論コンピュー...
「自分の未来予測を信じてちょっと意地を張ってみる」 まつもとゆきひろ氏がRubyに型宣言を入れない理由 #17 動的型付け言語と大規模開発 テーマは「動的型付け言語と大規模開発」 まつもとゆきひろ氏：まつもとゆきひろです。Matzチャンネル17回目ということでお送りします。ちょっと前になりますが9月28日に私が技術顧...
TL; DR ELVM のバックエンドにGo text/template（以下「Go Template」、処理系はGomplate）を追加 C言語(8cc) -> ELVM IR -> Go Template にコンパイル 8ccの8cc実装をコンパイルすればGo Templateで8ccコンパイラがつくれる！（セルフホスト） はじめに ご存じの通り Go Templateはチューリング完全1なので、任意の処理...
2022年11月にOpenAIが公開したAIチャットボット「ChatGPT」は、多くの企業の業務プロセスで利用されるほど、一気に身近な存在となった。この技術の基となるLLM（大規模言語モデル）は、AIの能力を大幅に向上させ、まるでAIが「脳」を持っているかのごとくふるまうことを可能にした。 そんなLLMを、自動運転に応用させよ...
tails-of-devil.hatenablog.com 読破するまでかなり時間がかかりました。 長い小説ではありますが、スラスラ読めばそんなに時間はかかりません。 読む気力を奪ってくれるようなところがあり、理解が追いつかず、何度も前に戻って読み直すということがあります。 読みづらいです。 本当に読みづらい小説でした。 ただ、面...
The Singularity Is Nearer 人類が500歳まで生きることも可能に レイ・カーツワイル氏が予測する、2029年までに起こりうるブレイクスルー 世界的なイノベーション＆クリエイティブの祭典として知られる「SXSW（サウス・バイ・サウスウエスト）」。2024年も各界のクリエイターやリーダー、専門家らが多数登壇し、最先端の...
「チューリング」に関連する商品は見つかりませんでした