テキスト・エディタ上の証明チェッカ | 文献情報 | J-GLOBAL 科学技術総合リンクセンター
J-GLOBAL ID：200902089399455769 整理番号：92A0480068 テキスト・エディタ上の証明チェッカ 出版者サイト 複写サービスで全文入手 {{ this.onShowCLink("http://jdream3.com/copy/?sid=JGLOBAL&noSystem=1&documentNoArray=92A0480068©=1") }} 高度な検索・分析はJDreamⅢで {{ this.onShowJLink("http://jdream3.com/lp/jglobal/index.html?docNo=92A0480068&from=J-GLOBAL&jstjournalNo=Z0031B") }}
CPS変換と二重否定のカリーハワード対応の話
シャミノ @syamino A->Bを(B->X)->(A->X)にすることと，Cを(C->X)->Xにすることの対応。Cを1->Cとみなして，(C->X)->(1->X) 。1->XをXとみなして，(C->X)->X シャミノ @syamino 忘れてた #1は終対象 RT @syamino: A->Bを(B->X)->(A->X)にすることと，Cを(C->X)->Xにすることの対応。Cを1->Cとみなして，(C->X)->(1->X) 。1->XをXとみなして，(C->X)->X
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
