7931
- いいね数 45,477/48,405
- フォロー 253 フォロワー 1,023 ツイート 68,505
- 現在地 チーバくんのみぞおち付近
- Web http://wed7931.hatenablog.com/
- 自己紹介 大学院数学専攻→インフラ系システムエンジニア→ちょっとお休み→新しい職場で心機一転。いろんな #数学 を勉強中。専門はリー群の表現論。妻と息子2人で日ハム応援中 #lovefighters 。 #水曜どうでしょう と #ゴリパラ見聞録 が好き。北海道出身/千葉県在住/松坂世代。
Favolog ホーム
» @wed7931
» 2013年09月09日
並び順 : 新→古 | 古→新
2013年09月09日(月)
何でなの？ 駄目な日だったって、きみが自分で勝手に思っているだけだよ。そんな日なんてないの。ちゃんと振り返ってごらんよ。明日のヒントをいっぱいくれた日じゃないか。
タグ：
posted at 21:09:08
後続数関数は要するに+1だけど，succと書く．自然数の足し算は，m+0=m，m+succ[n]=succ[m]+nと定義される．
さて，1=succ[0]，2=succ[1]と定義されるので，
1+1=1+succ[0]=succ[1]+0=2．これが1+1=2の証明．
タグ：
posted at 20:52:28
今朝は休刊日だった。いつも思うのだが、新聞はニュースを報道するという役割を放棄しているのではなかろうか？ 配達が大変だとは思うが、市場原理が働かないようになっているのは、新聞業界衰弱の原因になっている。
タグ：
posted at 11:02:04
よく高校の先生で「虚数は実在しない数だ」なんていう人がいるね．でもそれは方便だよ．普通の数学の立場なら「この世界の物理量を実数値を取るよう定義する事が多い」あたりが妥当かな．「あなたは『6』を見たことがあるんですか？実数は実在するんですか？」なんて聞いてみるのも面白いかもね．
タグ：
posted at 10:48:27
以前このツイッターでも議論になった印鑑証明事務の件ですが、印鑑登録証を持参しないと証明書が発行されない問題を解消する特例を定める条例案を今議会に提案しています。議会で認めて頂ければ、不持参時に廃止手続き⇒新規登録⇒証明書発行という本末転倒な事務を改善できます
タグ：
posted at 09:53:45
スポンサーリンク
