「 『n月刊ラムダノート』Vol.5 No.1（2025）発行のお知らせ – 技術書出版と販売のラムダノート 」
いつもご来店ありがとうございます。計算機好きのための技術解説情報誌『n月刊ラムダノート』Vol.5 No.1の発売開始のお知らせです。本号は以下の3つの記事でお送りします。 著名な数学者からも注目を集める関数型言語Leanのチュートリアルを通し、数学とプログラミングの深いつながりを感じる「自然数を作って学ぶLean言語」（井上亜星 著） ブラウザが文字列を描画するときに背後で何が起きているのか、Chromiumの実装を辿りながらWebの表現への理解を深める「Chromiumはテキストをどのように描画しているのか」（佐藤可奈留 著） 分散システムが気になってる人から計測したい人まで、合意アルゴリズムの一般的な説明にとどまらない具体的な
Webページ
コンテンツ文字数：0 文字
見出し数（H2/H3タグ）：0 個
閲覧数：1 件
2025-03-14 14:08:04
オリジナルページを開く
