Tomoki UDA @t_uda
KU / 偏微分方程式 / 高精度数値計算・数値解析 / 理論計算機科学 / HTML5 / JavaScript
-
浮動小数点数の比較と定数畳み込み
6283pv 24 -
数学的帰納法にまつわる話
9115pv 27 2 users 3 -
いったい何ゴドゥーなんだ……
19395pv 58 5 users
-
また知らぬ間に選択公理を使っている箇所が発覚してしまった。死のう
5189pv 28 -
ハッハッ、見ろ!第1種電気通信事業がゴミのようだ!! #通信の最適化()
432203pv 3450 540 users 947 -
全ての素数の積が偶数なのが納得がいかない数学徒たち
122559pv 519 31 users 463 -
第5回関西すうがく徒のつどい2日目(雑談編) #kansaimath
3403pv 16 -
第5回関西すうがく徒のつどい2日目(講義編) #kansaimath
11223pv 19 5 -
第5回関西すうがく徒のつどい1日目(雑談編) #kansaimath
5385pv 16 -
第5回関西すうがく徒のつどい1日目(講義編) #kansaimath
8974pv 24 -
Haskell における依存型プログラミングと証明の記述を用いた実用的なプログラミングって何
20837pv 151 73 users 10 -
黒木先生、scilab でベクトル場をプロット
10794pv 37 4 users 5 -
ある学生の零点が数学教員に衝撃を呼び起こした!
39093pv 165 29 users 84 -
ふぁぼりました @ジャンボパフェ会
2653pv 11 -
けんろん! 〜Category!GIRLS〜 実況 #kansaimath
2572pv 15 -
alg-d「代数学における選択公理」
8941pv 26 2 users 3 -
#ぞみくん「外から数学を眺めてみよう〜命題論理の誘い〜」
2928pv 10 1 user -
alg_d 「数学の諸定理と選択公理の関係」
8367pv 18 1 user -
Inner model theory seminar.
3040pv 18 1 user 1 -
オイラーの公式の悲しみ
6153pv 10 -
ツイート無断転載botの違反報告方法
274044pv 8080 243 users 59 -
高校物理と微積分
24818pv 168 19 users 10 -
クラスありの拡張言語が生の集合論と証明能力が変わらない
9229pv 12 1 user -
2012年選択公理の日
11030pv 37 2 users -
alg_d「選択公理をいかにして使ってしまうか」
14035pv 30