たにぜきじろー
@jirohcl
Followers
228
Following
16K
Media
441
Statuses
12K
RT @golden_lucky: Lean本ではVS Codeでマウスオーバーしたときにポップアップ表示される内容をコードブロック中でこのように示しています。定理証明系はエディタの機能をフル活用するものが多く、紙の本で説明するときはその情報を見せるのが厄介で、この見せ方はその….
0
22
0
RT @phileweb: ジャッキー・チェン主演『酔拳（吹替版）』がYouTubeで無料配信。9/5から1ヶ月限定
phileweb.com
ジャッキー・チェン主演『酔拳（吹替版）』がYouTubeで無料配信。9/5から1ヶ月限定
0
7K
0
RT @rikoushonotana: 【一部の人が幸せになれる黄色い本フェア】.『改訂新版ガロア理論』ジョセフ・ロットマン 関口次郎3520円（丸善出版） .説明を詳しくし、導入の章を付け加え、「最短」性は多少失われたものの「５次以上の方程式に解の公式が存在しない」という有名….
0
18
0
RT @okunari: 十数年前にイギリスのクラファンで作られたセガ公式ライセンスのメガドラ本が、一部内容をリニューアルした究極版となって生まれ変わりました。日本では紀伊國屋さんとかで買えるみたいです。.
kinokuniya.co.jp
本の通販なら紀伊國屋書店ウェブストア、電子書籍ストアKinoppy！店舗受取で送料無料。図書カードNEXTも使える。紀伊國屋ポイントが貯まる・使える。コミックや雑誌も豊富な品揃え。国内・海外主要都市に店舗を展開する紀伊國屋書店のECサイト。
0
198
0
RT @kenjinote: この画面の感じの懐かしさがわかる人、たぶん同世代…。. Geminiに「昔のブラウン管モニターにコンソール表示して」とお願いしたら、結構なクオリティのものができた…。この独特の丸みと走査線、そして緑色の文字。わかる人にはわかる。. ソースコードは下….
0
27
0
RT @PixelJunkJP: 🎮『Dreams of Another』無料体験版がSteamで本日より2週間限定配信開始！.「Best Indie Games Fall Showcase 2025」で発表されました✨
0
7
0
RT @yoshinokentarou: 1983年に「任天堂」と「ATARI」がコラボし発売予定だったが様々な理由で発売中止となった「今日まで存在を知られていなかった幻のゲーム機」が、先週末に行われた「PAX West」の公演にて突然公開されて話題に.※リンク先で何故この企画….
0
389
0
RT @huruneko1014: ／.『Nightmare City -20th Anniversary Exhibition-』. 再公開告知！.＼. #VRChat #NightmareCity20th . 昨年末、1週間限定で公開した.『ナイトメアシティ』のバーチャル展….
0
487
0
RT @taziku_co: 落書きが、3Dの世界で動き出す──. 「Nano Banana × Veo 3」で、ドローイングが立体化され、さらに映像に。. 音も加わって、昔の作品にまったく新しい命が吹き込まれた。是非音声ONで！.via：@dev_valladares.htt….
0
74
0