omasanoriさんのページ
プロフィール
プログラミング言語意味論、形式手法、コンピュータアーキテクチャ、符号理論などに興味があります。
復刊リクエスト投票
Connection Machine（CM）は1980年代後半から1990年代初頭に作られた超並列コンピューターである。2025年現在、汎用サーバーには64ビットのプロセッサコアが最大で512台搭載される。それに対して、CMには1ビットのプ...
2025/12/20
タイトルの通り、Common Lispで実践的なプログラミングを行うことが主題の本書。その姿勢は章構成にも表れている。データ型やオブジェクト指向プログラミングを紹介する前にユニットテストの話をする。文字列のフォーマット関数やループ構文に章を...
2025/12/19
2010年に出版された本書はビッグデータやクラウドサービスといったバズワードが蔓延する中で人間が数値化され、ビッグテックの「商品」と化していく現状に警鐘を鳴らし、人間性や倫理が貶められる未来を予見した。それから15年が経ち、残念ながら著者の...
2025/12/15