新サービス「はてなパークス」リリースのご案内と、リリースキャンペーン開催のお知らせ
はてなの日記 (659)
2026 / 8
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
ブログをもっと楽しむ
使い方のコツを学ぶ
素敵な記事を毎月更新
はてなブログAWARD
同じ興味の仲間と集まる
グループ
書きたい話題が見つかる
今週のお題
好きな話題から記事を見つける
トピック
出版されるのは日記ではなく、日記っぽく編まれたものだ
「日記ブーム」と誤配されうる「日記」
「日記ブーム」だ。ぼくも恩恵にあやかって、月と文社から出版される『何も起きない夜日記』に『日記で遅くなりたい』
«前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 >>
2008-10-24
うはwwwww Grass言語わかんねwwwww ワロタwwww
ちょっと草植えときますね型言語 Grass _, ._ （ ・ω・） んも…
2008-01-10
メモリを「OSに返す」インターフェースって必要だよね。
メモリを「OSに返す」クロスプラットフォームなインターフェー…
2007-11-16
Rubyのgc.cを写経
Rubyのgc.cを自分のヘタレGCに写経し
お知らせ 【gooブログからの移行がまだの方へ】画像データ移行を確実にするために10月末日までにインポート手続きをお願いします
東銀座のカフェ&バーは24時まで営業。スコーンはさくほろ系
仕事帰りにクリームティーできるお店まとめ
1日の終わりにケーキ感覚でスコーンが食べたいのに、ティータイム以降も提供してるお店ってなかなか見つからない。実際に訪問したことがあり、17時以降にクリームティーが食べられ
We’re getting things ready
Loading your experience… This won’t take long.
[LSP42] HaxeとF# に bleis-tift より
[LSP42] Standard MLとOCaml に よんた より
[LSP42] Perl に たけおか より
[LSP42] R に たけおか より
Account Suspended
Please contact your hosting provider to correct issues causing your website to be offline.
雑談用ストーリー [4] 1180
日曜プログラマがダラダラ書く
読者になる
.mjtの日記復帰計画
読者になる
cranebirdの日記
読者になる
yuumi3のお仕事日記
読者になる
ゲームエンジニアな日々
読者になる
mitamex4uの日記
読者になる
takuto_hの日記
読者になる
Gemmaの日記
読者になる
miura1729の日記
読者になる
Happy ABC開発日記
読者になる
▼ ▶
2012
2012 / 10
▼ ▶
2011
2011 / 8
▼ ▶
2010
2010 / 2
2010 / 1
▼ ▶
2009
2009 / 11
2009 / 10
2009 / 9
2009 / 8
2009 / 7
2009 / 6
2009 / 5
2009 / 4
2009 / 3
2009 / 2
2009 / 1
▼ ▶
2008
2008 / 12
2008 /
2022-08-08
データ解釈学入門を読んだ - 2022 夏休み
統計検定2級や Kaggle で学んだものたちの隙間を埋めてくれる良い本だった。どことは言わないが、読んでいる途中に仕事のことを思い出す記述があり背筋がピンと伸びた。以下雑多なメモ。
分析者のためのデータ解釈学入門 データの本質をとらえる技術
作者:江崎貴裕
ソシム
Amazon
測りやすいデータが選ばれがち。
データを歪めるモ
Android / TopCoder (rating) / ProjectEuler / tumblr / WiLiKi / github
22:22 21/11/20
ボレロ村上(村上原野)さんと constexpr のこと
去る2020年2月、縄文陶芸家にしてC++プログラマという希有な二つの顔を持つ人物がこの世を去りました。 ボレロ村上 (村上原野) 氏です。
正直なところ、陶芸家としての彼の側面については私はほとんど何も知らないに等しいです。
残された作品を見て何かを語れるほど芸術に通じているわけでもありません。
いつか機会が
You don’t have permission to access this resource.
2000年から日替わりでドットコムを紹介しつづけた『100SHIKI』
探査機「ニューホライズンズ」、よく到達して、こんなすごい写真を送ってき
http://www.amazon.co.jp/exec/obidos/ASIN/4822271889/showshotcorne-22
Your current locale selection: English. Choose another?