いつもご来店ありがとうございます。計算機好きのための技術解説情報誌『n月刊ラムダノート』Vol.5 No.1の発売開始のお知らせです。本号は以下の3つの記事でお送りします。 著名な数学者からも注目を集める関数型言語Leanのチュートリアルを通し、数学とプログラミングの深いつながりを感じる「自然数を作って学ぶLean言語」(井上亜星 著) ブラウザが文字列を描画するときに背後で何が起きているのか、Chromiumの実装を辿りながらWebの表現への理解を深める「Chromiumはテキストをどのように描画しているのか」(佐藤可奈留 著) 分散システムが気になってる人から計測したい人まで、合意アルゴリズムの一般的な説明にとどまらない具体的なRaftの姿が見える「実用Raft」(太田 健 著) どこで買えるの? 『n月刊ラムダノート』のお求めは、当サイトの直販をご利用ください。PDF版はすぐにダウン