エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
ここにツイート内容が記載されます https://b.hatena.ne.jp/URLはspanで囲んでください
Twitterで共有ONにすると、次回以降このダイアログを飛ばしてTwitterに遷移します
ロジバンの紹介 今回発表する言語はロジバンという言語です。 聞いたことがないかもしれないので、まず... ロジバンの紹介 今回発表する言語はロジバンという言語です。 聞いたことがないかもしれないので、まずはその紹介からです。 ロジバンというのは、元々、基本的に人間が話すために作られた人工の言語です。 最初はサピア=ウォーフの仮説という言語学上の問題を検証するために作られた言語ですが、元々言語学者が作った下敷きからスタートしているので、色々と面白い性質があります。 例えば下の様な感じです。 音中心で設計されていて、同音異義語が原理上存在しない 文法が厳格に決められていて、構造に曖昧さが表れない 一階述語論理をベースに組み立てられている 文化非依存 この様な性質を持っていることから、ロジバンで話しかけたり、書かれたりした文は、命題としてプログラムが実行可能という性質を持っています。 特に日本語や英語では根本に持っている構造的な曖昧さが発生しないというのが大きくて、日本語では解析不可能な長文でもプロ