添付ファイル '117 ���ꃂ�f���_�m�[�g.html'

ダウンロード

1/17 言語モデル論ノート

     Γ-> L:bool Γ->M:τ[1] Γ->N:τ[2]
(if)--------------------------------------
     Γ-> (if L then M else N):τ[1]Uτ[1]

  • p55
    • 例外をNothing型にしているのは、if L then M else error() みたいにすると、全体の型がMになって幸せだから

添付ファイル

添付ファイルを参照するには、(下のファイル一覧にあるように)attachment:filenameと記述します。 [get]リンクのURLは変更される可能性が高いので、利用しないでください。

ファイルを添付する権限がありません。