ちなみにロジック部分って書かずにプログラム部分って書いたのは、ロジックに限らず機械が解釈できる部分って意図で、どう書いていいかわからなくてそう書いた＞＜
つまりオレンジ視点では、プログラミング言語と自然言語の役割の違いと分離する意義を、フレーム問題のフレームって視点で考えた＞＜
フレーム問題 - Wikipedia https://ja.wikipedia.org/wiki/%E3%83%95%E3%83%AC%E3%83%BC%E3%83%A0%E5%95%8F%E9%A1%8C
言い換えると、プログラム部分には機械が解釈する範囲と言うフレームがあり、コメント部分にはフレームが無いことになる＞＜
(やっと本題＞＜；)
そうすると、プログラミング言語とコメントの役割は、『フレームの範囲内に限定した情報を記述する言語』と『フレームレスな領域を記述する言語』に役割がわかれ、それにそれぞれに最適化された言語を組み立てようとすると、フレームがあるプログラミング言語らしい言語とフレームレスな自然言語に当然のようにわかれるのでは？＞＜
で、プログラム部分は機械が実行と検証に必要な部分だけが記述されるので、機械が読み取れる範囲の情報に絞って記述される＞＜
でも、そのプログラムに関するあらゆる明示的な情報は、リアルワールドに存在する限りリアルワールドの全ての情報と間接的に繋がるので、情報の範囲が特定の範囲に収まらない＞＜
つまり、シンプルに言えば、プログラム側では明示的な記述になっていない情報を、ソースコード全体が明示的な情報を持つものにする為にコメントがあると言えそう＞＜
(この文脈で言う明示的には「広範囲の推論によって読み取れる」は含まない＞＜)
この辺の議論すごくおもしろいけど、
コメントに何を書くかって視点で見ると、コメントにはなぜそうするかという意図を書くべきとされてる気がするけど、
じゃあなんでコメントにわけられてるかというと、意図は、ヒューマンエラー検出(意味妥当性のチェック)の場面以外では機械側にとって不要で、一方で意図から全体像を知る場面には必要で、
言い方を変えると、意図という情報が明示的にプログラム側に記述されていない場合に、明示的に記述する場面にコメントがあるのかも＞＜
orange
さんがブースト
「説明コメント+プログラム」の形式だと事実上2つの同じ事柄に関する記述をメンテナンスすることになるのでミスマッチのリスクが無視できない、というのは長いこと問題視されているはずで
orange
さんがブースト
同一の言語に埋め込む意味あるのかなぁ……
orange
さんがブースト
それってプログラムパートと文芸パートを分けてるだけで既存の説明コメント＋プログラムと構造が変わらないのでは……
orange
さんがブースト
そういう文はシンプルに無視できればよくない？ という気持ちもあるが、まあその辺りを還元していくと単に構文解析と意味解析の容易さに帰着するのやもしれん
orange
さんがブースト
これは自然言語が妥当な実行モデルを持たない文も内包するスーパーセットであることによる。
orange
さんがブースト
両立したところで、結局は（妥当な実行モデルを持つならば）サブセットにはならざるを得ないだろうし、自然言語話者として自然言語そのものを書くようにはできないと思うなぁ。
orange
さんがブースト
もちろん日本語のサブセットにだって構文と意味論を定義すればそれっぽく書けたりはするのだろうけど、その “サブセット” は現実にはそのまま自然言語として使えるレベルになく、しかし Lojban ではおそらくそこが両立できる
orange
さんがブースト
というよりは、自然言語とプログラミング言語として両立可能な言語の PoC としてほどほどにうまくいくものとして注目に値するという感じ？
orange
さんがブースト
実行モデルなしのプログラム文に何某か意味があるのかどうかわからない、と言ったほうが適切か。
orange
さんがブースト
本質的にプログラムとは “命令を実行させたいという意図の伝達” とか “命令を実行すべき理由の伝達” であるわけで、であれば自然言語がこのような “意図” や “推論” の過程を曖昧さなく読解可能な形で表明できるのであれば、それは既にプログラムの一種として解釈できるといえる
orange
さんがブースト
アレは機械パース可能なように文法を作ってあるだけで、別に実行モデルやドキュメントモデルがあるわけじゃないでしょう。
orange
さんがブースト
HTML については表現力が弱すぎるのでなんとも
orange
さんがブースト
Lojban とか見てみるといいかも
orange
さんがブースト
自然言語文とプログラムやHTMLを対応付けようとする話、納得できた例がないなぁ……
- ＠orange_in_space
2017年 4月に登録
