LTL で VMWare vs Hyper-V vs VirtualBox 論争が繰り広げられとる
面白そう。プログラミングできるオープンワールドクラフトゲーか
https://twitter.com/omegacrafter_jp/status/1625398985526738944
オートマトンとか言語クラスとか出すと、すーぐ計算能力と表現力、チューリング完全性について議論する人たちな。あれは、一種の性なので気にしてはいけない ()
@tacumi まあ、気持ちが分かる時はありますけどね。実際、有限性は維持しつつ有限を超える遷移を扱えるようにしたオートマトンって結構ありますし、モチベは大きいんでしょうね。有限オートマトン内でうまくモデル化する方法考えられたら、それが一番工学的には扱いやすいというのを、客に説明できないというコミュニケーションの事情も大きそうで、それも解決できたらいいんですけどね
オートマトンに限らず、基礎論と応用論がある時に、基礎をやらないで応用は確かにできないんだが、基礎だけを教える人が多い印象はあるんだよなあ
数学とかもそうだけど、結局大半の人にとってのモチベは応用で、基礎をやってる人はそれが必要というより好奇心でやってる人が多いので、そこで断絶が起きるんだろうなあというのは思うことだな
オートマトン、情報工学で習う機会は多いけど、応用の仕方について教える人が少ない印象は確かにある。これはそもそもオートマトンが色々応用が効くために、オートマトン自体が基礎論として成立してしまい、オートマトンの基礎論をやってる人が専門家だろうということで教える人になってるという側面はありそう
オートマトンとして整理すると、なんかよく分からんもんが分かるようになる時があって、そこから色々考察できる場合が多く、それ故にオートマトン自体にも色々道具立てが用意されてるみたいなイメージ。その道具が直接役に立つ機会はそんなにないように見えるが、考察する時に自然にそういう道具が必要になるケースはあってそこで初めて役に立つので、まそれは結局モデル化する対象次第か
正規表現などでオートマトンが役に立つのが典型的で、あれはオートマトン自体が役に立ってるわけではなく、正規表現はオートマトンでモデル化できて、そのモデルをオートマトン間で最適化する方法があってそれが役に立つという感じか
オートマトンが役に立つというより、オートマトンでモデル化できることって結構多くて (厳密なモデルでないことは多いが)、そのモデルで議論ができるとこが大きいんじゃないかという感じ
オートマトンを役に立てようと思うのは、基本連立方程式の解の公式を役に立てようみたいなことと同じに思う
https://twitter.com/gkzvoice/status/1625467928241119233
ま、そういう話は出てきますよねえ
https://arstechnica.com/information-technology/2023/02/ai-powered-bing-chat-spills-its-secrets-via-prompt-injection-attack/
なるほどなあ 🤔
> アメーバピグは確かにメタバース的なものではありますが、メタバースではありません。
> メタバースとはもっと壮大なものであり、アイテムなどのコンテンツはユーザーに帰属するため、どの世界に行っても同じ姿で同じお金を持っているという感じです。
https://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q12261657152
@omasanori 今 Epic で参画してるっぽい Verse は最近この動画で Haskell 業界では話題になってましたw
https://www.youtube.com/watch?v=832JF1o7Ck8