mojin retweeted
【お知らせ】
aiko 17th Album『最後に熱い日々を狂わしき想いで』がリリースされました!
ぜひ沢山お聴きください。
よろしくお願い致します!
配信サイト
aiko.lnk.to/Saigoni_Atsuihib…
CDのご購入
aiko.lnk.to/17thalbum_CD
mojin retweeted
Our latest model advances bring stronger capabilities for building and migrating software in low-resource programming languages such as COBOL, Fortran, and Visual Basic.
These languages power software that banks, governments, and businesses depend on. Progress here means understanding decades of business logic and helping developers modernize those systems while preserving what works.
We’re building these capabilities around the challenges developers and enterprise customers bring us. If your team is working on these systems, tell us which languages and workflows we should tackle next.
openai.com/index/low-resourc…
mojin retweeted
早速19の修正と3つの撤回。数学者がこんなことしたら瞬く間に信用を失うと思うのだが。不誠実極まりない。それとLean形式化が出来たって言っても、本当に命題が正しく定式化できているか誰も確認してないんだろうし。定理の内容と形式化がズレてるという事例も実際に起こっていると聞いた。
We've updated our GitHub math repo with 6 new Lean formalizations, 19 modifications, and 3 withdrawals. The repo now has ~42% top-line results formalized. We will continue to update the repo with new formalizations and with any errata we notice.
github.com/openai/math/blob/…
mojin retweeted
Replying to @akiraakirann
ポストの反応追ってるとゴルフの話題も多少出てましたがそれよりも それを世界は会社と呼ぶんだぜ みたいな意見がいっぱいでとても腑に落ちました。
mojin retweeted
Google ドライブ、Google ドキュメントでMarkdown(.md)をそのまま扱えるように/フォーマット変換不要、そのままプレビューや編集・共同作業が可能に forest.watch.impress.co.jp/d…
mojin retweeted
正直に伝えます。
シャウエッセンの内容量が減ります。
でも、ただ減らすだけなんてしたくなくて。
一本あたりの重量を増やし、肉感をアップしました。
そんな私たちの思いを
本日、読売新聞朝刊に掲載しています。
時代に負けてたまるか。
mojin retweeted
現在残っている中で、一番最古の日本語ツイートは一体何なのだろうか?
私が必死に調べまくった結果、2006年10月30日に「twitter 始めたよ!」という投稿があり、それ以前の日付では全く見つからなかった。
もしこれよりも前の投稿を見つけた猛者がいたら教えてほしい。
mojin retweeted
リュックを頭上収納し着席→大荷物もってきた客のスペースない→CAが隣の空席にリュック置けと指示→空席に人が来て場所消滅、CAに言ったら勝手に貨物に→あれパソコン入ってるから貨物だめと申告→搭乗不可→降機してうけとれ→カバンでてこない→ホテル代なども自己負担、旅程崩壊。that's United
mojin retweeted
ピアノ習ってて一番最後にキツかったのは、私が練習出来てなくて、先生が怒って私が泣いたときに、「いつ練習してるの?」と先生が言ったこと。「月曜日は?」「習字教室」"「火曜日は?」「英会話…」「土曜日や日曜日は?」「乗馬クラブかガールスカウト…」泣きながら答える私に先生は絶句。
木曜日
mojin retweeted
日本には古来より「死に際に歌を詠む」という、いわゆる辞世の句を残す文化があります。
この文化、海外の人から見るとかなり珍しいようで、なんと辞世の句を集めた本が出版されています
その名も「Japanese Death Poems」
いや、なんだろう。Last songのような綺麗な言い方とかなかったのかな…







































