@botti_siatox n が n ∉ ℕ の時なら成り立たないから n ∈ ℝ ∧ n ∉ ℕ(nが実数かつ自然数に含まれない数)とかの時だけ童貞じゃなくなってる可能性がある
posted at 13:20:27
@umintyu__ @botti_siatox 命題: n年後さいとは童貞であることをネタにしている． 1. n=1年後さいとは童貞であるをネタにしている 2. n=kで命題が成り立つと仮定する 3. n=k+1のとき，命題がなりたつ ∴ さいとは全てのnのとき童貞
posted at 13:12:57
IIJ、個人向けモバイルサービス「IIJmio高速モバイル/Dサービス」とSIMロックフリー端末をセットにしたIIJmioの格安スマホを、郵便局に設置するカタログで販売開始 | 2016年 | IIJ www.iij.ad.jp/news/pressrele…
posted at 13:09:24
RT @IIJ_doumae: IIJmioのSIMカード・スマートフォンを郵便局でもお取り扱い頂きます。当初の取り扱は、みおふぉん(ミニマムスタートプラン)とarrows M03のセット。料金やサービス内容はIIJmioの他の販路でご契約頂いた場合と同様です。 www.iij.ad.jp/news/pressrele…
posted at 13:09:14
RT @shibanyan_1: 泥棒に殴られ右脳の損傷したことにより凄い能力を得た男性まじ凄い それとこの世界まじ怖い pic.twitter.com/ypP1ou4yms
posted at 13:09:08
RT @mat_der_D: 感動してるところ申し訳ないけど、∫_0^1 √(1-xx)dx って1/4円の面積じゃね…？
posted at 13:09:08
RT @mr_konn: せーのっ、TikZ、サイコー！👊 pic.twitter.com/HCKtASigLy
posted at 13:07:38
RT @omasanori: @mr_konn （METAFONT業なりFontForge業なりをしてcongtoパッケージを書いた方が良い気もする）
posted at 12:56:19
なんかこんさん悩んでたやつ既存の記号の合成よりMETAFONTのほうがはやくないですか [sokutenable]
posted at 12:56:08