★ 証明のノート【第295号別冊】
「カリー・ハワード対応」の解説をAIに指導されながら何度も書き直した話し．
いち
2026.08.05
サポートメンバー限定
いちです，おはようございます．
「STEAMボート乗組員」（STEAM NEWSサポートメンバー様）限定配信をお届けいたします．ご支援本当にありがとうございます．
さて，本誌「証明ってなんだ？【第295号】」について，執筆時に参照した情報をまとめます．
別冊はもっと勉強したい方向けの「足がかり」や余談としてお送りするものです．お時間のある時にお楽しみ頂ければ幸いです．
書き手から直接、最新記事が届きます。
読者限定の内容も逃しません。
登録する
読者限定の内容も逃しません。