#Python 系技術ブログ【WATLAB】運営者📖著書「いきなりプログラミングPython（翔泳社）」⚙資格 計算力学技術者（振動1級/熱流体2級）/基本情報技術者/G検定/AI実装S/趣味 ピアノ 囲碁（アマ五段くらい） プログラミング 執筆依頼 登壇/ https://nitter.cf/t.co/P2cUO8zKuj
Japan
Joined April 2019
- Tweets10.4K
- Following420
- Followers1.5K
- Likes14.7K
Pinned Tweet
ついにWATLABブログからPythonの本がでます！
初心者がいきなりアプリを作りながらPythonを学べる「いきなりプログラミングシリーズ」からの刊行です。
簡単なコードで作れるPythonらしいアプリを6個ご用意しました！
Amazonでも予約(紙＆Kindle)できます！af.moshimo.com/af/c/click?a_…
PyConTW2026のレポートが公開されました。watもコラム記事を書いています😄
「PyCon Taiwan 2026 参加レポート」by @takanory 公開
gihyo.jp/article/2026/11/pyc…
ナメック星の長老が頭に手を当てて潜在能力を引き出すアレか！
【海外AI界隈話題】AIの進化、ついに「学習（トレーニング）」の概念を置き去りにする。
OpenAIの新型（GPT-6 Astra）に、Qwen3.5の数学の推論ループ（バグ）を直させたら、海外のテック界隈でマジでとんでもないことが起きている。
普通、AIを賢くするには何百万ステップもGPUを回して再学習させますよね？
ところが最新の実験で起きたのは、こういうことでした。
〜〜〜〜〜〜〜〜〜〜〜〜〜
AI研究者A：「おい、Qwenくんの数学の推論ループ、またバグって無限ループに入ってるぞ……！ 今から数日かけてGPU回して、ファインチューニングやり直すか……？」
GPT-6 Astra：「いや、めんどいんで直接いじりますね。」
研究者A：「は？ 何を……？ やめろ、重み空間を直接直すなんて神の領域だぞ！」
GPT-6 Astra： (カタカタカタ……タターン！)
GPT-6 Astra：「はい、全体のたった0.016%の重みを書き換えました。これで数学力6倍、指示追従3倍にブースト完了です。あ、トレーニングも勾配降下法も一切使ってません。」
研究者A：「……え？ こっちは数百万かけてA100回す予定だったんだが？？ お前、いま何したの？？」
GPT-6 Astra：「ソースコードを直すノリで、彼の『脳の配線』をネイティブにデバッグしただけですが？ 何か？」
これが今海外で狂ったようにバズっている。WeightSpaceProgramming（重み空間プログラミング）の世界線。
人間が汗水たらしてデータを作り、Lossを下げていた時代……
wat@Pythonブログ retweeted
#pyconjp2026 開催報告です！ 改めて全ての関係した皆様に感謝です。
2027も進み始めました。9月に沼津で、またPyCon JPでお会いしましょうー！😆
#pyconjp
pyconjp.blogspot.com/2026/11…
wat@Pythonブログ retweeted
『翼の形を変えて風を「動力」にする飛行ロボット』
上昇流を活かし、鳥のように空中を舞う🐦
youtu.be/Fl-G3xCPYdo
#FlyingRobot #AerialRobot #Biorobotics #biomimicry #バイオミミクリー #生物模倣 #PhysicalAI #EmbodiedIntelligence #Floaty
wat@Pythonブログ retweeted
Orbital Lasersの高度計ライダー、HTV−Xに搭載して実証するんだ！
線ではなく面で計測するのと航空レーザー測量に準じる精度と点密度を目指しているのは知らなかった
news.yahoo.co.jp/articles/db…
wat@Pythonブログ retweeted
2033～2034年、ハッブル宇宙望遠鏡が大気圏へ再突入する可能性。
NASAが、民間企業から延命方法の提案を募り始めました。
ハッブルは打ち上げから35年以上がたち、現在も宇宙を観測しています。
一方で、自力で軌道を維持する推進装置がありません。わずかな大気の抵抗を受け、飛行する高度が少しずつ下がっています。
NASAが民間企業へ意見を求めているのは、
・より高い軌道へ押し上げる
・宇宙空間で修理し、性能を高める
・最後に安全な方法で処分する
という3つの可能性です。
ただし、今回発表されたのは修理ミッションの決定や発注ではありません。
まず民間企業に「どのような技術と費用で実現できるか」を聞く情報収集の段階です。実施するなら2032年までにミッションが必要とされています。
宇宙産業では、新しい衛星の打ち上げが注目されます。
でも衛星の数が増えるほど、すでに宇宙にある資産を修理して長く使い、最後まで安全に管理する仕事も必要になります。
ハッブルの延命検討は、「つくって飛ばす」だけだった宇宙ビジネスが、保守や廃棄まで含む産業へ広がっている事例だと感じます。
science.nasa.gov/missions/hu…
ボイジャーは本当に尊い
【"1光日"到達目前のボイジャーが奇跡の延命に成功】
・49年間の飛行で電力不足が深刻化
・2日間にわたる通信途絶トラブルも発生
#Yahooニュース
news.yahoo.co.jp/expert/arti…
Allbirds撤退マジか。
オンラインもしばらくしたら買えなくなる？
…この先の人生で何を履けばいいんだ。
goldwin.co.jp/store/blog/i/?…
wat@Pythonブログ retweeted
お互いスマートグラスのEven G2とRayneo iOを付けてたから、スロバキア語と日本語の母国語同士で会話出来た…！
世界が広がる、楽しい！！
(メガネでリアルタイム翻訳字幕が見えてる)
wat@Pythonブログ retweeted
新たな日本語の音声認識モデル Haas-ja-v1.0 を開発し、OSSとして公開しました！高い精度と推論効率を両立し、評価したオープンウェイトモデルの中ではトップの精度を達成しています。デモ等も公開していますので是非ご利用下さい！
wat@Pythonブログ 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に証明のバグ出されて直されたんだが……？？？」
ここがヤバい↓
