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