新しいものを表示

街を再構築するレベルの事(これでいう六角形化)するのであれば、碁盤の目なりなんなりの都市中心部構造でも自動車がそんなに入ってくるような都市にならずに作れるし、街中が自動車で溢れてるのは、日本の都市が交通をまともに設計/計画できずに乱開発し続けてカオスになったからであって、その解消に六角形化なんて、メリットたぶん無い><

元の話のこれの六角形にって話に関しては、ものすごく悪い意味で都市計画がまともじゃない日本らしい発想って思った><
もっと一方通行を活用すべきだし、地域内交通と対地域外交通や通過交通をわけた発想が出来てない><

つくば市は一部を六角形にしているから道に迷いやすいらしいが「人間は45度曲がったら90度曲がったと誤認する確率が高い」という記憶の限界があるらしい - Togetter togetter.com/li/2273388

右折完全分離信号はもっと導入すべきってオレンジも前から言ってたし、それが結構当たり前であるアメリカの方式であるレーン別信号機を日本も道交法改正して導入すべきって言ってる><
(たとえば3車線なら信号機が3個並んでて、それぞれがレーンに対して指示する><(その上で右左折用は矢印になってる><))

鍵boost><

2021/9/22
車と歩行者を完全分離 函館市本通3に道内初のセパレート式交差点 | 2021/9/22 /函館地域ニュース by e-HAKODATE ehako.com/news/news2021a/14004

オレンジのおうちのコンロも、立ち消え安全装置が壊れてからそのまま5年くらい使ってて、ついに諦めて2ヶ月くらい前に買い換えた><
たぶん壊れてたのはセンサじゃなく基板側で、全てのコンロとグリルが同時にダメで一回電池抜いて入れなおして何回か点けてるとつくみたいな感じで使ってた><

orange さんがブースト

コンロの立消え安全装置のセンサーが、点火を認識できなくなると、すぐ消えちゃうやつあるね。あった。磨いたりして騙し騙し使っていたけど、10年物ぐらいで配線の劣化とかだったのかもしれないけど、ガス周りはなんか有ると嫌なので買い換えた。

ちなみにロジック部分って書かずにプログラム部分って書いたのは、ロジックに限らず機械が解釈できる部分って意図で、どう書いていいかわからなくてそう書いた><

つまりオレンジ視点では、プログラミング言語と自然言語の役割の違いと分離する意義を、フレーム問題のフレームって視点で考えた><

フレーム問題 - Wikipedia ja.wikipedia.org/wiki/%E3%83%9

言い換えると、プログラム部分には機械が解釈する範囲と言うフレームがあり、コメント部分にはフレームが無いことになる><

(やっと本題><;)
そうすると、プログラミング言語とコメントの役割は、『フレームの範囲内に限定した情報を記述する言語』と『フレームレスな領域を記述する言語』に役割がわかれ、それにそれぞれに最適化された言語を組み立てようとすると、フレームがあるプログラミング言語らしい言語とフレームレスな自然言語に当然のようにわかれるのでは?><

で、プログラム部分は機械が実行と検証に必要な部分だけが記述されるので、機械が読み取れる範囲の情報に絞って記述される><
でも、そのプログラムに関するあらゆる明示的な情報は、リアルワールドに存在する限りリアルワールドの全ての情報と間接的に繋がるので、情報の範囲が特定の範囲に収まらない><

つまり、シンプルに言えば、プログラム側では明示的な記述になっていない情報を、ソースコード全体が明示的な情報を持つものにする為にコメントがあると言えそう><
(この文脈で言う明示的には「広範囲の推論によって読み取れる」は含まない><)

この辺の議論すごくおもしろいけど、
コメントに何を書くかって視点で見ると、コメントにはなぜそうするかという意図を書くべきとされてる気がするけど、
じゃあなんでコメントにわけられてるかというと、意図は、ヒューマンエラー検出(意味妥当性のチェック)の場面以外では機械側にとって不要で、一方で意図から全体像を知る場面には必要で、
言い方を変えると、意図という情報が明示的にプログラム側に記述されていない場合に、明示的に記述する場面にコメントがあるのかも><

orange さんがブースト

「説明コメント+プログラム」の形式だと事実上2つの同じ事柄に関する記述をメンテナンスすることになるのでミスマッチのリスクが無視できない、というのは長いこと問題視されているはずで

orange さんがブースト

同一の言語に埋め込む意味あるのかなぁ……

orange さんがブースト

それってプログラムパートと文芸パートを分けてるだけで既存の説明コメント+プログラムと構造が変わらないのでは……

orange さんがブースト

そういう文はシンプルに無視できればよくない? という気持ちもあるが、まあその辺りを還元していくと単に構文解析と意味解析の容易さに帰着するのやもしれん

orange さんがブースト

これは自然言語が妥当な実行モデルを持たない文も内包するスーパーセットであることによる。

orange さんがブースト

両立したところで、結局は(妥当な実行モデルを持つならば)サブセットにはならざるを得ないだろうし、自然言語話者として自然言語そのものを書くようにはできないと思うなぁ。

orange さんがブースト

もちろん日本語のサブセットにだって構文と意味論を定義すればそれっぽく書けたりはするのだろうけど、その “サブセット” は現実にはそのまま自然言語として使えるレベルになく、しかし Lojban ではおそらくそこが両立できる

スレッドを表示
orange さんがブースト

というよりは、自然言語とプログラミング言語として両立可能な言語の PoC としてほどほどにうまくいくものとして注目に値するという感じ?

古いものを表示
:realtek:

思考の /dev/null