トップ «前の日記(2002-11-01) 最新 次の日記(2002-11-04)» 月表示 編集

日々の流転


2002-11-03 [長年日記]

λ. GentzenのLK, LJ, NK, NJは何の略語?

ふと思って検索してみたらfj.sci.mathで情報を見つけた。(news,blade,Googleグループ)

LK
logistischer klassischer Kalkül
NK
natürlicher klassischer Kalkül
LJ
logistischer intuitionistischer Kalkül
NJ
natürlicher intuitionistischer Kalkül

λ. The Circulation of Good - Implementation of a cooperative information-gathering agent for Squeak.

未踏のこのプロジェクトの採択者の「Sakai Masahiro (酒井 雅裕)」という名前を見て、一瞬驚いた。

本日のツッコミ(全3件) [ツッコミを入れる]
ψ 酒井雅裕 (2003-04-25 15:34)

こんにちは 本人です。<br>リンクありがとうございます<br>未踏ソフトは若手枠がありますから是非応募してください<br>さかいさんは開発力がありそうですからいい感じだと思いますよ<br>取り急ぎ

ψ タナカコウイチロウ (2009-10-08 11:53)

こんにちは。古いページですが。<br>logistischer intuitionistischer Kalkül <br>から<br>LJ<br>になるのか。”J”がどこから出てくるのか。<br>ちょっと不思議に思ったもので。

ψ さかい (2009-10-08 12:03)

そういえばそうですね。<br>調べずに想像で言うと、LKを制限しているのでKの前のJにしたとかかなぁ。