http://a.hatena.ne.jp/fujita-y/ はてなアンテナ - fujita-yのアンテナ http://cadr.g.hatena.ne.jp/g000001/ 利用者情報の外部送信先を追加しました 利用者情報の外部送信先 (7) 2026 / 10 2026-10-03T10:55:41+09:00 http://fixedpoint.jp/ Brouwer's fixed point theorem in Lean 4 [2026-08-19 Wed] #permalink There are several kinds of proofs for Brouwer's fixed point theorem. Nnevertheless, currently the theorem seems not part of Mathlib4 2026-08-21T16:32:48+09:00 http://d.hatena.ne.jp/tazant/ ブログをもっと楽しむ 使い方のコツを学ぶ 素敵な記事を毎月更新 はてなブログAWARD 同じ興味の仲間と集まる グループ 書きたい話題が見つかる 今週のお題 好きな話題から記事を見つける トピック 出版されるのは日記ではなく、日記っぽく編まれたものだ 「日記ブーム」と誤 2026-05-04T12:07:49+09:00 http://www.rubyist.net/~matz/ &#171;前10日分 追記 << 2026/04/ 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 >> 2026-04-30T08:58:36+09:00 http://d.hatena.ne.jp/keisukefukuda/20081020/p1#c 2008-10-24 うはwwwww Grass言語わかんねwwwww ワロタwwww ちょっと草植えときますね型言語 Grass _, ._ （ ・ω・） んも… 2008-01-10 メモリを「OSに返す」インターフェースって必要だよね。 メモリを「OSに返す」クロスプラットフォームなインターフェー… 2007-11-16 Ru 2026-02-25T06:05:48+09:00 http://d.hatena.ne.jp/scinfaxi/ お知らせ 【gooブログからの移行がまだの方へ】画像データ移行を確実にするために10月末日までにインポート手続きをお願いします 東銀座のカフェ&バーは24時まで営業。スコーンはさくほろ系 仕事帰りにクリームティーできるお店まとめ 1日の終わりにケーキ感覚でスコーンが食 2025-11-13T09:01:16+09:00 http://lucille.atso-net.jp/blog/ We’re getting things ready Loading your experience… This won’t take long. 2025-11-09T19:28:13+09:00 http://blog.bugyo.tk/lyrical/ [LSP42] HaxeとF# に bleis-tift より [LSP42] Standard MLとOCaml に よんた より [LSP42] Perl に たけおか より [LSP42] R に たけおか より 2025-06-18T21:48:19+09:00 http://scheme-users.jp/ Account Suspended Please contact your hosting provider to correct issues causing your website to be offline. 2025-03-23T22:02:59+09:00 http://slashdot.jp/ 雑談用ストーリー [4] 1180 2025-03-12T12:33:37+09:00 http://d.hatena.ne.jp/h-hirai/ 日曜プログラマがダラダラ書く 読者になる 2024-03-28T07:59:40+09:00 http://d.hatena.ne.jp/mjt/ .mjtの日記復帰計画 読者になる 2024-03-28T03:17:59+09:00 http://d.hatena.ne.jp/cranebird/ cranebirdの日記 読者になる 2024-03-28T03:14:28+09:00 http://d.hatena.ne.jp/yuum3/ yuumi3のお仕事日記 読者になる 2024-03-28T02:44:19+09:00 http://d.hatena.ne.jp/shive/ ゲームエンジニアな日々 読者になる 2024-03-27T20:34:53+09:00 http://d.hatena.ne.jp/mitamex4u/ mitamex4uの日記 読者になる 2024-03-27T20:17:08+09:00 http://d.hatena.ne.jp/takuto_h/ takuto_hの日記 読者になる 2024-03-27T20:15:48+09:00 http://d.hatena.ne.jp/Gemma/ Gemmaの日記 読者になる 2024-03-27T20:13:06+09:00 http://d.hatena.ne.jp/miura1729/ miura1729の日記 読者になる 2024-03-26T22:44:59+09:00 http://d.hatena.ne.jp/happyabc/ Happy ABC開発日記 読者になる 2024-03-25T14:15:00+09:00 http://d.hatena.ne.jp/sumii/ ▼ &#9654; 2012 2012 / 10 ▼ &#9654; 2011 2011 / 8 ▼ &#9654; 2010 2010 / 2 2010 / 1 ▼ &#9654; 2009 2009 / 11 2009 / 10 2009 / 9 2009 / 8 2009 / 7 2009 / 6 2009 / 5 2009 / 4 2009 / 3 2009 / 2 2009 / 1 ▼ &#9654; 2008 2008 / 12 2008 / 2023-02-13T20:05:33+09:00 http://d.hatena.ne.jp/higepon/ 2022-08-08 データ解釈学入門を読んだ - 2022 夏休み 統計検定2級や Kaggle で学んだものたちの隙間を埋めてくれる良い本だった。どことは言わないが、読んでいる途中に仕事のことを思い出す記述があり背筋がピンと伸びた。以下雑多なメモ。 分析者のためのデータ解釈学入門 2022-08-08T15:39:28+09:00 http://blog.livedoor.jp/naoya_t/ Android / TopCoder (rating) / ProjectEuler / tumblr / WiLiKi / github 2022-03-03T10:08:29+09:00 http://www.kmonos.net/wlog/ 22:22 21/11/20 ボレロ村上(村上原野)さんと constexpr のこと 去る2020年2月、縄文陶芸家にしてC++プログラマという希有な二つの顔を持つ人物がこの世を去りました。 ボレロ村上 (村上原野) 氏です。 正直なところ、陶芸家としての彼の側面については私はほとんど何も知らな 2021-11-21T20:58:06+09:00 http://scheme-users.jp/planet/ You don’t have permission to access this resource. 2021-09-26T05:05:40+09:00 http://www.100shiki.com/ 2000年から日替わりでドットコムを紹介しつづけた『100SHIKI』 2018-09-02T17:55:10+09:00 http://www.asahi-net.or.jp/~ki4s-nkmr/ 探査機「ニューホライズンズ」、よく到達して、こんなすごい写真を送ってき http://www.amazon.co.jp/exec/obidos/ASIN/4822271889/showshotcorne-22 2015-12-26T16:07:21+09:00 http://wiki.reia-lang.org/wiki/Reia_Programming_Language Your current locale selection: English. Choose another? 2010-12-15T01:26:41+09:00