0306132人目の素数さん垢版 | 大砲2024/05/15(水) 21:12:08.89ID:dJj5Zqh2 >>305 ヒルベルトスタイルの直観主義のいいところは、→しかない型付きラムダ計算に直積型とかを追加していく手順と同じことをやったら完成するところが気持ちいいんよ