夢駆動開発

全てのプログラムを生まれる前に証明したい。全ての宇宙、過去と未来の全てのプログラムを、この Lean で ！(全ての宇宙、過去と未来の全てのプログラムをおもむろに消し去り始める、

■ とうほくプロコンサポーター ■

[夢駆動開発 @rikitoro]

とうほくプロコン2026 のテーマ部門のテーマが発表されました。

1000年続く『発酵の魔法』を未来へつなげ！
(株式会社カネタ玉田酒造店様　テーマ提供)

多くの応募をお待ちしています。

テーマ部門｜とうほくプロコン2026 https://t.co/Jt8dDxxDhP

[夢駆動開発 @rikitoro]

みんな風邪をひいている

[夢駆動開発 @rikitoro]

温泉行きたい

[仙台つーしん @sendai_tushin]

＼夏休みのおでかけに🎐✨／

8/2(日)にアーバンネット仙台中央ビル YUINOSで
「夏休み縁日 ENNICHI」開催!!
プログラミングや科学体験、試飲など親子で楽しめる企画が盛りだくさん🙌参加無料です♪
※一部実費あり

詳細・事前登録はこちら👇
https://t.co/QIjt5PMgQf

[夢駆動開発 @rikitoro]

大学初年度の物理も数学もよくわからない時分に受けた数物演習で、テンソルの定義は座標変換に対して特定の変換則を満たすものだとさんざん植え付けられたので、ただの多次元配列かテンソルだと言われても違和感あってなかなか受け入れられなかったし、今でも違和感が抜け切れていない

[夢駆動開発 @rikitoro]

世の中に自分より賢い人は山のようにいて、昨今AIがそこに加わったのかなぐらいにしか受け止めていないことに気づいた。

ひと昔まえは、ナイトライダーのキットとか出てきたら劇的に世の中変わるだろうなぐらいには思っていたのに、、

[夢駆動開発 @rikitoro]

Lean の Natural Number Game
色々なゲームが追加されている！ https://t.co/Sf3XonuCxG

[夢駆動開発 @rikitoro]

建物が入っている

[夢駆動開発 @rikitoro]

足場を先に組むのはどうしてでしょう？

[夢駆動開発 @rikitoro]

レポート課題、希望者には添削コメントする代わりに、フィードバックに基づく改訂版の再提出がないと受け付けないのはどうでしょう？

[夢駆動開発 @rikitoro]

時折広告に現れるキーエンスの基礎からわかる
「組み込みソフトの教科書」、どんなものかちょっと見てみたいなと思いつつもダウンロードしたら速攻で電話かかってきたらどうしようと尻込みしてる。

[夢駆動開発 @rikitoro]

幾分涼しい
これがやませか？

[Jay Cummings @LongFormMath]

New book in the “Counterexamples in” series is available on a subscription plan for $400/month

[夢駆動開発 @rikitoro]

祭畤温泉

[夢駆動開発 @rikitoro]

温泉行きたい

[夢駆動開発 @rikitoro]

かみのやま温泉

[夢駆動開発 @rikitoro]

立佞武多をみてみたい

[夢駆動開発 @rikitoro]

LLM が混乱する、と言われた時の混乱とはどう定義されどう定量化されるのでしょう？

[井山梃子歴史館 @__pandaman64__]

関数型まつりのスライド抜粋です

[夢駆動開発 @rikitoro]

服やズボンの上から蚊に咬まれているのか？！

[夢駆動開発 @rikitoro]

円筒分水のおかげで水争いが解消された！やったー！
というわかりやすい単純なストーリーではなくて、その地域事情や時代背景があって当然ですよねという
https://t.co/sqQiObY6nA

[夢駆動開発 @rikitoro]

日本各地の円筒分水が水争いの末に導入され争いを解消したという話はどこまで本当なのだろうか？

[夢駆動開発 @rikitoro]

夏休みは青森の温泉を巡ろうかと思ったましたが、青森も青森で暑いらしい

[専門性・売上・原稿 @golden_lucky]

「関数型まつり」を楽しむのにラムダノートの本が役立つのはたぶん間違いないとして、どの本が役立つのかをちょっと宣伝します。まず、今年はLeanの発表がけっこうあったようなので、『ゼロから始めるLean言語入門』でしょう。依存型の話もあるよ https://t.co/fXSHc1I8n9