まさむね @quant_ilu

計画性のない数学好きな人間です。 Joined February 2013

Tweets

4
Followers

2
Following

10
Likes

1

まさむね @quant_ilu

12 years ago

Schroeder-Bernstein Theorem: if A and B are sets, and there are infections f:A→B and g:B→A, then there is a bijection h:A→B.

0 0 0 0 0

View Details

まさむね @quant_ilu

13 years ago

Fermat's Little Theorem if 'p' is a prime number and 'a' a natural number, then a^p ≡ a (mod p).

0 0 0 0 0

View Details

まさむね @quant_ilu

13 years ago

axiom of choice ∀λ ∊ Λ(Aλ ≠ Φ) ⇒ Π_(λ ∊ Λ) Aλ ≠ Φ

0 0 0 0 0

View Details

まさむね @quant_ilu

14 years ago

100 - [10L - 7F + C(k - C) + T(m - T)]/(S - E)

0 0 0 0 0

View Details

米ガイル @oreguile

72 Followers 77 Following ファネッフー！

となりのよんさ... @_forcom

29 Followers 45 Following ロマンティックプログラマ|C#の使い手＃名古屋工業大学情報工学科

チト @karno

3K Followers 1K Following 冷静で理知的な性格。本を集めたり日記を書くのを趣味にしている。移動に使うケッテンクラートの運転や修理は彼女が担当。 / VRChat: @karnoroid / 絶望と、なかよく。

米ガイル @oreguile

72 Followers 77 Following ファネッフー！

株式会社 @proof_ninja の代表取締役です。
Rocq(Coq)やOCaml, Scalaなどのお仕事喜んでやります

Rocq/OCaml/Haskell/SML#/Scala/F#/Haxe/Tezos/産総研/DMM/Datachain/トップSE/名古屋大

Yoshihiro Imai @yoshihiro503

2K Followers 179 Following 株式会社 @proof_ninja の代表取締役です。 Rocq(Coq)やOCaml, Scalaなどのお仕事喜んでやります Rocq/OCaml/Haskell/SML#/Scala/F#/Haxe/Tezos/産総研/DMM/Datachain/トップSE/名古屋大

keigo @keigo

195 Followers 122 Following 人生いろいろ。廻り道もこれからのため。人生に無駄はない。楽しい方に、ポジティブにいこう。

mzp @mzp

6K Followers 3K Following SKK/Dvorak lover.

指揮者 / 未踏スパクリ / 教育心理学者 / コードタクト代表取締役 / デジ庁PM。学校教育向けの「スクールタクト」と企業向けに振り返りを支援する「チームタクト」を作ってます。琉球フィル指揮者、那覇ジュニア指揮者、アレグレット交響楽団常任指揮者。

後藤正樹コー�... @spagetty

2K Followers 2K Following 指揮者 / 未踏スパクリ / 教育心理学者 / コードタクト代表取締役 / デジ庁PM。学校教育向けの「スクールタクト」と企業向けに振り返りを支援する「チームタクト」を作ってます。琉球フィル指揮者、那覇ジュニア指揮者、アレグレット交響楽団常任指揮者。