orange
さんがブースト
これは自然言語が妥当な実行モデルを持たない文も内包するスーパーセットであることによる。
orange
さんがブースト
両立したところで、結局は（妥当な実行モデルを持つならば）サブセットにはならざるを得ないだろうし、自然言語話者として自然言語そのものを書くようにはできないと思うなぁ。
orange
さんがブースト
もちろん日本語のサブセットにだって構文と意味論を定義すればそれっぽく書けたりはするのだろうけど、その “サブセット” は現実にはそのまま自然言語として使えるレベルになく、しかし Lojban ではおそらくそこが両立できる
orange
さんがブースト
というよりは、自然言語とプログラミング言語として両立可能な言語の PoC としてほどほどにうまくいくものとして注目に値するという感じ？
orange
さんがブースト
実行モデルなしのプログラム文に何某か意味があるのかどうかわからない、と言ったほうが適切か。
orange
さんがブースト
本質的にプログラムとは “命令を実行させたいという意図の伝達” とか “命令を実行すべき理由の伝達” であるわけで、であれば自然言語がこのような “意図” や “推論” の過程を曖昧さなく読解可能な形で表明できるのであれば、それは既にプログラムの一種として解釈できるといえる
orange
さんがブースト
アレは機械パース可能なように文法を作ってあるだけで、別に実行モデルやドキュメントモデルがあるわけじゃないでしょう。
orange
さんがブースト
HTML については表現力が弱すぎるのでなんとも
orange
さんがブースト
Lojban とか見てみるといいかも
orange
さんがブースト
自然言語文とプログラムやHTMLを対応付けようとする話、納得できた例がないなぁ……
[B!] 普通の線路の「ガタンゴトン」とは明らかに違う？ 名古屋の激レアポイント「ダイヤモンドクロッシング」：中日新聞Web https://b.hatena.ne.jp/entry/s/www.chunichi.co.jp/article/819156
会員記事なので、最後まで読めないけど、日本の鉄道の情報しかほとんど追ってなかった頃は、平面交差が少ないのは当たり前だと思ってたけど、アメリカの鉄道の情報を追うようになったら、アメリカでは貨物の幹線でも他社との交差でも当たり前のようにあちこちに平年交差があるので逆になんで日本では平面交差が極端に少ないのか不思議になった＞＜
[B! おもちゃ] 粘土をオーブンに入れたら布製のデカいパンになるおもちゃの仕組みが面白すぎる「手品じゃん」「クリスマス後もサンタが必要なやつだ…」 https://b.hatena.ne.jp/entry/s/togetter.com/li/2273548
ものすごく教育に悪そう＞＜
乱数の品質よりも部品点数削減が優先なやつ＞＜
Factorioでとにかくコンパクトな回路で簡易な疑似乱数生成ってどうやったらできるんだろう？＞＜
Lehmer random number generator - Wikipedia https://en.wikipedia.org/wiki/Lehmer_random_number_generator
ダイソーで300円で売られているフローライト(蛍石)が本物かどうか検証してみた - Togetter https://togetter.com/li/2272681
コンパクトシティー政策と正反対だし、福島市は高齢者ドライバーを増やしたいらしい＞＜
[B! 不動産] 「単身高齢者は退去を」「子育て世帯は入居を」借り上げ住宅、この扱いの差はなぜ？福島市議会で質疑（河北新報） - Yahoo!ニュース https://b.hatena.ne.jp/entry/s/news.yahoo.co.jp/articles/a14cc2ae54b76bc92e9a1755c564433f91080393
頻脈つらい＞＜
きっと歩き疲れてる…マチュピチュ村が完全に日本のどっかの温泉街にしか見えない件「これもう鬼怒川だろ」 - Togetter https://togetter.com/li/2272372
実際に日系人が作った温泉の村だかららしい・・・＞＜
オレンジが説明なしに(文字部分を消した)この写真を見せられて「どこでしょう？」って聞かれたら「台湾？＞＜」って答えると思う＞＜
- ＠orange_in_space
2017年 4月に登録
