関連しそうな自分のエントリー。ウヘー、我ながらいっぱいあるなー。ざっと読んでいこう。読んだら、感想を一言ずつ書いていこう。 述語論理とインデックス付き圏と限量随伴性 20170824 テンソル積の作り方 20160829 中学レベル代入計算からカリー／ハワード…

無名変数 ハイフンまたはアンダースコア〈アンダーバー | アンダーライン〉 セクション記法 関数のプロファイル（多変数・多値のカンマ区切りもあり） maps-to記法 |→ 関数適用〈引数渡し | 関数呼び出し〉の中置記法 関数が右からの関数適用 ラムダ記法 コ…