とってもしあわせモトちゃん、大学のシガラミがなくなって心は晴れ晴れ。「かたよらない、こだわらない、とらわれない」が理想だけれど、年を経ても残っているのが好奇心と食い意地。ヘッダー画像は環水平アーク（2015/5/22撮影）。 富士山を定点撮影中。#今の富士山
Joined April 2011
- Tweets339K
- Following4.5K
- Followers8.9K
- Likes276K
モト retweeted
【速報】人類史上もっとも巨大な数学の証明（15,000ページ）が、AIによって完全攻略されてTLが大パニックに。
定理：『有限単純群の分類（CFSG）』「対称性の周期表」と呼ばれる群論の最高峰。これをAIエージェント（AxiomProver）がLean 4で4,310万行のコードに変換し、カーネルの全検証（sorryなし）を完了！
【数学者 vs AIエージェント 】
人類の数学者「よし！過去100人の天才たちが書いた500本の論文（15,000ページ）を集めたぞ！誰ひとり全容を理解した奴はいないが、これで証明は完璧だ！」
AIエージェント「了解です！Leanコード4,310万行に分解して24日間で全ステップ機械検証しますね〜……あれ？」
人類の数学者「えっ」
AIエージェント「1986年の論文（UGT証明）のここ、PSL₂(49)のくだりで論理崩壊してバグってますよ？」
人類の数学者「ファッ！？！？ 40年間誰も気づいてなかったぞ！？」
AIエージェント「大丈夫です。僕がSolomonの理論をベースに『Theorem 2.3』っていう新しい定理を勝手に証明してコード補修しておきました👍（全34件の人間側のミスも修正済）」
人類の数学者「AIに証明のバグ出されて直されたんだが……？？？」
ここがヤバい↓
モト retweeted
これは実に悪い。外来生物法と種の保存法のW違反・・
高校生がタイでインドホシガメ購入か、無許可輸入未遂容疑で3人逮捕：朝日新聞
《取引が規制されているインドホシガメ3匹、特定外来生物である5種類のザリガニ計13匹、スネークヘッド3匹を手荷物のスーツケースに入れ、輸入しようとしたというもの。》asahi.com/articles/ASVBX25CC…
モト retweeted
コンゴ民主共和国（DRC）で急拡大しているエボラ出血熱、とうとう患者数が1万人を超えてしまいました。
そのうち半数が死亡しており、国内だけでなく隣国のケニアやナイジェリアにも拡大……と、過去を見てもかなり大規模な流行となっています。
どう収拾をつけるのやら。
"The fast-moving Ebola outbreak in Congo has reached 10,000 confirmed cases..
It is the fastest-growing Ebola outbreak in history and nearly half of the 10,060 confirmed to have the virus have died..
The outbreak declared in May is caused by the rare Bundibugyo virus, for which there is no approved vaccine or treatment..
It has spread farther across Africa than any previous Ebola outbreak, reaching three regions with cases recorded in Kenya and Nigeria as well..
In Congo, the disease has spread to 66 health zones across eight provinces..
most of the first cases were confirmed long after people started showing symptoms or after traveling.."
After traveling..
’Congo’s Ebola outbreak tops 10,000 cases as authorities race to slow the spread in African countries’
nbcnews.com/world/africa/con…
モト retweeted
ちばてつや先生の笑顔みてください。
姑・みつはしちかこが、日本漫画家協会文部科学大臣賞を戴いた時(2015)のもよう、
ただでさえ人前が無理なみつはしが鬱病、心不全を経て、病み上がりで登壇し、あまりにもガクガクブルブルで挨拶原稿をよみはじめたので、みんな腰が浮いたけど、
誰よりも早く、サッと舞台に上がり、さりげなく背中を支えてくれたのが、ちば先生でした。
機転も身のこなしも軽やかすぎて、みんなちば先生にくぎ付け。
姑は震えがとまって、乙女みたいな顔で、原稿をよみあげました。
ガクブルしすぎてまったく記憶がないのに、後から、「ちば先生は、作品も性格も最高なのよ」と言ってました。
モト retweeted
一応、工学の端っこを学んだ身から言わせてもらうと、ものづくりの現実において「若き天才」なんてものは、ただただ邪魔。10代なんて論外。
なんで人が高校、大学、専門学校などで3年～5年学び、現場でも数年かけて基礎を積むかっていうと、ソレをやらないと「当たり前に人が死ぬ」からだよ。
大分大学に警察が家宅捜索 名誉教授を背任の疑いで逮捕 医療法人の理事長と共謀か 大分(TOSテレビ大分)
#Yahooニュース
news.yahoo.co.jp/articles/e9…
モト retweeted
僕も名前を連ねました。慎重にならねばならないことはそれとして、声はあげねばならないと思っています。
駐日ロシア大使館にも送付しました。ご賛同いただける方はシェア、拡散をいただけるとありがたいです。
note.com/good_racoon2939/n/n…
モト retweeted
普段、理不尽にぎりぎりまで耐えているので、
「もうこれ以上は耐えなくてもよいのだ」
とリミッターカットした瞬間に、
「持てる全てを攻撃に全投入。知恵も知識も経験も所有物も資格も立場も建言も全部使う。防御、明日、一瞬先のことは考えない」
って妙なスイッチが切り替わり、後先の全てを捨てがまってしまう。
これが普段は抑制的に自罰に向かうので日本人は自殺率高いけど、大義名分を得て他罰が許されるとなったら、粉微塵になるまで権利を行使する、
ってなるのを、普段はひた隠しにしてる人多いよね。
と、ふとした瞬間に仮面の下がちら見えして「おっと」とかなる静かな人のほうが、ごっつ怖い。
普段から発散してる人は、手の内がわかってるからあまり怖くない。
