『形式検証超入門-AI時代の「正しさ」と「責任」を、形式証明・Lean・ADICで学ぶ』2026/4/30 5:03:00 https://zenn.dev/ghostdrift/books/355456ce679c1c
『本当に“ありがたい”理論が創れているか？』2025/12/28 7:27:00 https://www.jstage.jst.go.jp/article/jssst/42/4/42_4_88/_article/-char/ja
『あるソフトウェア工学者の失敗、日本のITは何故弱いか』2022/3/22 2:49:00 https://shayashiyasugi.com/wwwshayashijp/myfailures.pdf