_ 人工言語 ロジバン Lojban 解析表現文法 PEG を調べていたら、Lojban に出会った。 Lojban is a constructed, syntactically unambiguous human language based on predicate logic. (発音は EUC-JP で書けないので省略、強調は筆者による) [Lojban - Wikipedia, the free encyclopediaより引用] 形式仕様記述 formal specification はさまざまなものがあるが、どれも現場では役に立たない。机上の空論である。というのは、実際に用いられている仕様は曖昧 unambiguous で、論理 logic に基づくというよりは、むしろ自然言語に基づいているからである。 形式仕様記述を現場に投入しようと躍起になっている人々は、自然言語で書か
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く