deductive/deduction system sequent Gentzen system logical rules, structural rules one-sided sequent Exchange, Weakening(Thinning) Contraction left rule, right rule introduction rule, elimination rule sequentのantecedent 前例、先例、先立つ…

うーん、なんやかんや、やっていたけど、どうも失敗、徒労だったようだ。あー、疲れた。むなしい。形式言語理論における列言語をフーリエ変換できないかと思ってやっていた。非可換モノイドMから出発して、A⊆MをM上のブール値関数（特性関数）だと思う。M上…

gccオプション -v 詳細表示 -E プリプロセス（標準出力） -S コンパイルのみ .s -c コンパイル＆アセンブル .o 単独で呼べるコマンド cpp プリプロセッサ as アセンブラ ld ローダー cc1 コンパイラ本体（libexecの下のどっか、直接は呼ばないな）