固定された投稿
自己紹介下書き2＞＜
超多趣味で、興味がある分野は、
航空(※1)宇宙開発鉄道物流都市計画都市緑化自動車(※2)送電線 南の島の電柱 クレーン橋梁トンネルダム廃道酷道 土木と公共事業と地域問題 土砂災害電子計算機 ヒューマンセンタードデザイン 建築地理地域ネタ 世界のローカルフード マイナードリンク郷土史冷戦史 虐殺問題と国連の役割 人種差別問題セクシャルマイノリティ差別問題 東欧の民主化 報道とその役割 放送局用機器シンセサイザーポピュラー音楽制作背景史アメリカ文化 アメリカのトラック輸送 大規模農業大型農業機械垂直農業農産物の安全保障紛争鉱物問題
かも＞＜
(※1 ジャーマンウィングス事故で世界で最初に、管制との最後の交信内容を言い当てた＞＜)
(※2 免許は無い＞＜)
ワードサラダ並み感＞＜；
これ、トラックドライバーが2個目の標識（？）を踏んだあたりで気づいた後にそこそこ冷静に対処したからこの程度で済んでるけど、パニックを起こすホームラン級の馬鹿が運転してたら横転して突っ込まれてたかもしれない＞＜；
orange
さんがブースト
https://x.com/c_nexco_nagoya/status/2084456118764568932
> 【交通事故防止のお願い】
> 「ながら運転」や「わき見運転」は今すぐやめよう！
> 一瞬の油断が重大な事故を引き起こします。
> 前を見て、運転に集中して、安全運転をお願いします。
> 映像提供 中日本ハイウェイ・パトロール名古屋㈱
規制中の車線に突っ込んでくるトラックの映像を公式で出してくるNEXCO中日本。説得力がエグい。
マジでハイウェイ・パトロールの人怖かったろうなぁ……。
これもっとシンプルに「2020年代に至ってもチョムスキー派の学者」という点だけで「あ＞＜ トンデモか＞＜」って思っていいらしい・・・？＞＜
チョムスキーを超えて 普遍文法は存在しない | 日経サイエンス
P. イボットソン（英オープン大学） M. トマセロ（独マックス・プランク進化人類学研究所）
https://www.nikkei-science.com/201705_052.html
611えん・・・・＞＜
つまり、同じ基準を適用すると、この先生の主張を認めるのであれば、「推論能力等の思考領域があろうとも発話において後段に言語生成能力があるのであれば『単に単語や文字を並べているだけ』と言える」と主張するのと同じであり、故に「『人間も単に単語や文字を並べているだけ』と言える」事になってしまう＞＜
これは、J-spaceの発見とその検証が決定的な証拠であり
A global workspace in language models \ Anthropic
https://www.anthropic.com/research/global-workspace
意図的にJ-spaceを無効化すると、文章の生成能力自体は失われずに高度な認知機能のみが失われる＞＜
これは逆説的に、文章の生成機能とは別に高度な認知機能が創発した領域がある事の直接的な証拠になる＞＜
この本自体を読んだわけではなく、この先生の過去の主張と抜粋記事からの推論ではあるけれども、この "AIが言葉を生成しているわけではなく、単に単語や文字を並べているだけ" のルールを人間に同様に適用すると人間の発話やテキストの記述も、思考の外側に起きる事になって、人間も "単に単語や文字を並べているだけ" になるんですけど＞＜
AI(LLM)が文字を並べてるのは概念上の後段の話であって、その手前のニューラルネットワークな部分で思考が行われているという事実を見ていない＞＜
なんで東大で脳と言語の研究をしていた人（今もしてる？）でさえも、こんな5年前みたいなくだらない最新の観測的事実に基づかない本を書いてしまうわけ？＞＜
3年くらい前の本からの抜粋記事かなと思ったらなんか今年出た本らしいんですけど・・・・＞＜；
AI脳クライシス | 集英社インターナショナル 公式サイト
https://www.shueisha-int.co.jp/publish/ai%E8%84%B3%E3%82%AF%E3%83%A9%E3%82%A4%E3%82%B7%E3%82%B9
？？？？？？？？？？＞＜；
そりゃデジタル教材では頭に残らないわけだ…東大教授｢北欧が今､こぞって紙に回帰している決定的理由」 (3ページ目) | PRESIDENT Online（プレジデントオンライン）
https://president.jp/articles/-/116517?page=3
"...生成AIは、正しくは「合成AI」と呼ぶべきです。これは、AIが言葉を生成しているわけではなく、単に単語や文字を並べているだけだからです。
真の「生成」は規則的な言語能力を指すので、AIに用いるべきではありません。..."
酒井 邦嘉 | 東京大学
https://www.u-tokyo.ac.jp/focus/ja/people/people001977.html
9万円くらい？＞＜；
AIRTRICK A1 Pro Electric Roller Skates | 25 km/h
https://www.airtrick.top/ja/product-page/airtrick-e-skates-a1-pro
ここまで小さい電動ローラースケートはあるらしいので、航続距離を減らしたりしたら、靴底を数cmの厚さにする感じで作れそう＞＜
スニーカーに取り付ける電動ローラースケート Airtrick E-Skates「A1シリーズ」 他の電動モビリティよりも軽量で持ち運びしやすい [インターネットコム]
https://internetcom.jp/209043/airtrick-e-skates
orange
さんがブースト
技術の進歩によって、ローラーシューズにモーターが内蔵されて、原付扱いとなり、靴一足ずつナンバープレートが付く回。
orange
さんがブースト
車のナンバー、使い回ししないで分類番号が三桁になったり英字が入ったりしてるけど、それも足りなくなったらどうするんだろう。四桁になったりひらがな漢字になったりするのかな。
Is SPARK in ADA a theorem prover? - General - Ada Forum
https://forum.ada-lang.io/t/is-spark-in-ada-a-theorem-prover/3995
難しい・・・・＞＜
AI支援で作られた「コラッツ予想の反証」は無効、Leanのカーネルバグを突いていたことが判明 - GIGAZINE https://gigazine.net/news/20260803-collatz-lean-kernel-bug/
まさに昨日、Z3のお勉強をしてた時にGoogleAI検索さん(Gemini)と「SMTソルバをベースに分解して検証する方が網羅的で穴がないんじゃないの？＞＜」って議論をして、
AI検索さん曰く「SMTソルバは一階述語論理専用だから、その分解処理を人間が書き下す場面で検証にバグが生じる可能性があるし、なにより、SMTソルバは複雑だからそれ自体のバグの可能性が高いし、Leanのカーネルは高階に対応してるけど手動でシンプルだからバグがある可能性が低い」(意訳)
っていってたのに、バグあったじゃん！＞＜；
よく考えてみるとこれは検証できる気がする＞＜
orange
さんがブースト
@orange_in_space ぐぬぬ…そしたらどうにもわからない…謎すぎる…
そしたらやっぱり記号が多くなるのが悪さしてるのかなぁ…
- ＠orange_in_space
2017年 4月に登録
