keiichiro shikano
Publishes 1 feed
技術書出版と販売のラムダノート - お知らせ
10 posts · contributor
Lately
お盆付近（8/7（金）から8/14（金））の紙版ご注文につきまして
新刊『ネットワークシステムについて語るときに我々の語ること』発行のお知らせ
連休中の営業につきまして
『n月刊ラムダノート』Vol.6 No.2（2026）発行のお知らせ
『プログラマーのためのCPU入門』4刷のお知らせ
n月刊ラムダノート「特集：計算とは何か」前文公開
n月刊ラムダノート「特集：計算とは何か」発行のお知らせ
年末年始営業のお知らせ
『n月刊ラムダノート』Vol.5 No.2（2025）発行のお知らせ
新刊『ゼロから始めるLean言語入門 ― 手を動かして学ぶ形式数学ライブラリ開発』 の発売を9/4に予定しています
Everything on this page was read from markup keiichiro shikano published — a rel="me" link, an h-card, or the feed’s own author element. Nothing was inferred from anywhere else. To correct or remove it, get in touch. Machine-readable: JSON