|
|
|
|
|
||
|
||
2023-09-25 複素数を使わない二平方の定理の証明 おっとりと
#数論 #四平方 #平方和
4 の倍数 4, 8, 12, 16, 20 … より 1 小さい数。
3, 7, 11, 15, 19, …
それは「4 の倍数より 3 大きい数」ともいえる。このタイプの数は、どれも
整数2 + 整数2
の形では表せない。偶数の平方は 4 の倍数だし、奇数の平方は 4 の倍数より 1 大きいので:
偶数2 + 偶数2 = 4 の倍数 + 4 の倍数 = 4 の倍数
偶数2 + 奇数2 = 4 の倍数 + (4 の倍数 + 1) = 4 の倍数 + 1
奇数2 + 奇数2 = (4 の倍数 + 1) + (4 の倍数 + 1) = 4 の倍数 + 2
どの組み合わせでも「4 の倍数 + 3」は作れない！
上記の「偶数の平方」についての主張は常識的に分かる。偶数ってのは 2 の倍数なので 2a と書ける（a: 整数）。その平方は:
(2a)2 = 2a × 2a = 4a2 = 4 × 整数 なぜなら a2 は整数
「奇数の平方」についての主張は、どうだろうか。奇数ってのは 2 の倍数より 1 でかいので 2a + 1 と書ける。その平方は:
(2a + 1)2 = (2a)2 + 2 × 2a × 1 + 12 ← (x + y)2 = x2 + 2xy + y2
= 4a2 + 4a + 1 = 4(a2 + a) + 1 = 4 の倍数 + 1 なぜなら a2 + a は整数
実はもっと強いことが言える。
→ 続きを読む
2023-09-23
_ ラグタイム
日生劇場でラグタイム。音楽はアナスタシアの人らしく、今は渋谷と日比谷で新旧二作が劇場にかかるという人気者だ。
舞台は20世紀初頭（おそらく日本の大正年間というのは、伊藤野枝が私淑しているエマ・ゴールドマンが登場するからだ）で、アナルコサンジカリスムの労働運動が激化している状況（というのは一面）。
婦人解放の悲劇(エマ ゴールドマン)
物語は3つの家族の関わりあいで、ラグタイムの時代のアメリカの夢と幻滅、自由を求める個人とそれを抑圧しようとする国家とその手先のお調子者のダイナミズムを描く、ということになるだろう。
家族の1つは無名の富裕層で、夫は冒険家（北極探検に行こうとしたりする）、妻は主婦、そして息子がいる。その妻が庭先で黒人の赤ん坊を拾うことで、別の家族とのかかわりができる。
そちらの家族はラグタイムの（自然発生的な時代音楽とした場合の）創始者のピアニスト、その逃げた恋人（と、拾われた赤ん坊）。
妻は、赤ん坊を拾ったことで、成り行き上逃げた恋人と赤ん坊の面倒を家でみることになる。夫は北極探検に出ていて不在で、もし家にいたら黒人の家族には門を閉ざすだろうと歌う。
ピアニストは悶々とした末に、別れた恋人によりを戻してもらおうと、T型フォードに乗って（そのくらいの稼ぎは今やあるのだ）ニューヨークからボストンへ旅立つ。
途中、町の消防団に道を通してもらえない差別にあったりするが、最終的に無名家族の元にたどり着く。
が、恋人は面会を拒否する。
それでもめげずに週一回は家族の元を訪れる。妻に請われてピアノを弾くのが日課（週に1回だが）となる。(祖父からクールを弾いてくれと頼まれて、それはミンストレスショー用のでっちあげ音楽だ。おれのはラグタイムだと胸を張る件がある)
そのうち恋人も思うところあり、3人（赤ん坊は妻がピアニストへ見せたりするので知
WARNING!
radiumsoftware.com has expired.
If this is your domain name you must renew it immediately before it is deleted and permanently removed from your account. To renew this domain name visit NameBright.com
はてなの日記 (642)
▼ ▶
2013
2013 / 4
▼ ▶
2012
2012 / 3
▼ ▶
2010
2010 / 11
2010 / 9
2010 / 8
2010 / 5
2010 / 3
2010 / 1
▼ ▶
2009
2009 / 12
2009 / 11
2009 / 10
2009 / 9
2009 / 8
2009 / 7
2009 / 6
2009 / 5
2009 / 4
2009 / 3
2009 / 2
2009 / 1
▼ ▶
2008
2008 / 12
2008 / 11
2008 / 9
2008 / 8
2008 / 7
2008 / 6
2008 / 5
2008 / 4
2008 / 2
2008 / 1
▼ ▶
2007
2007 / 12
2007 / 11
2007 / 10
2007 / 9
2007 / 8
2007 / 7
2007 / 6
2007 / 4
2007 / 1
▼ ▶
2006
2006 / 12
2006 / 11
2006 / 10
2006 / 9
2006 / 8
2006 / 7
2006 / 5
2006 / 4
2006 / 3
2006 / 2
2006 / 1
▼ ▶
2005
2005 / 12
2005 / 11
2005 / 10
2005 / 8
2005 / 7
2005 / 6
2005 / 5
2005 / 4
2005 / 3
2005 / 2
2005 / 1
▼ ▶
2004
2004 / 12
2004 / 11
2004 / 10
2004 / 9
2004 / 8
2004 / 7
2004 / 6
2004 / 5
▼ ▶
2020
2020 / 3
▼ ▶
2019
2019 / 12
2019 / 10
2019 / 5
2019 / 4
▼ ▶
2018
2018 / 8
▼ ▶
2014
2014 / 7
2014 / 6
▼ ▶
2013
2013 / 11
▼ ▶
2012
2012 / 5
▼ ▶
2011
2011 / 5
2011 / 1
▼ ▶
2010
2010 / 9
▼ ▶
2009
2009 / 11
2009 / 10
2009 / 9
2009 / 8
2009 / 7
2009 / 2
▼ ▶
2008
2008 / 10
2008 / 9
2008 / 8
▼ ▶
2007
2007 / 10
2007 / 9
2007 / 2
▼ ▶
2006
2006 / 12
2006 / 11
2006 / 9
2006 / 5
2006 / 4
2006 / 2
2006 / 1
▼ ▶
2005
2005 / 8
2005 / 7
2005 / 6
2005 / 5
2005 / 4
2005 / 3
2005 / 2
2005 / 1
▼ ▶
2004
2004 / 12
2004 / 11
2004 / 10
▼ ▶
0
0 / 1
記事はありません
この広告は、90日以上更新していないブログに表示しています。
ホーム ピグ アメブロ
よくある質問
利用規約
©CyberAgent, Inc.
Copyright © CyberAgent, Inc. All Rights Reserved.
お問い合わせ
利用規約
ヘルプ
http://blog.livedoor.jp/shi3z/CMSとネットサービスを提供するUEI社長の日記 ja http://blog.livedoor.jp/shi3z/archives/51058116.htmlso-netブログを操作ミスで消してしまったら、二度と復活できない仕様になってることが判明 エントリーを消そうとしたらブログが消えるんだもんな 港区赤坂四畳半社長で仮復旧 そのうちどうするか考えることにする shi3z2008-03-07T12:07:41+09:00エントリーを消そうとしたらブログが消えるんだもんな
港区赤坂四畳半社長で仮復旧
そのうちどうするか考えることにする
]]>http://blog.livedoor.jp/shi3z/archives/50993216.htmlいまだにこちらのページにやってくる方が多いみたいなので、 shi3zのあきば電脳ライフへのリンクを貼っておきます コラムめいたブログはこちら 突発的にはじまるustreamはonosendai.jpでお楽しみくださいshi3z2008-01-09T01:21:12+09:00shi3zのあきば電脳ライフへのリンクを貼っておきます
コラムめいたブログはこちら
突発的にはじまるustreamはonosendai.jpでお楽しみください]]>http://blog.livedoor.jp/shi3z/archives/50929294.htmlまあダイエットするぞ宣言した僕ですが、あれから毎日のように魚定食ばっかり食べて2キロ痩せました。 というか、体重って、本来の体重よりも遥かにでかいと、2キロってたいした変動じゃないんですよね。割合の問題ですから。 ところがやっぱりこれが職業病じゃないけ...shi3z2007-11-04T12:35:13+09:00
というか、体重って、本
私が NTT を辞めた件に関しては、これまで色々なところで話しては来たのですが、まとまって文章にしたことがなかったので、これを機会に書くことにしました。普段ならメルマガ（週刊 Life is beautiful）の読者限定で書くところですが、今回だけは、出来るだけ多くの人に読んで欲しいので、ブログ記事として公開します。
【追記】この記事のおかげで、私のブログに初めて触れる方も多いようで、嬉しい限りです（半日で１０万ページビューを超えました）。せっかくなので、ゆっくりしていただくために、関連する記事を下に紹介したので、ぜひとも読んでみてください。どれも、この記事と同じように、時間をかけて丁寧に書いた自信作なので、気に入っていただけると思います。
「時間に余裕があるときにこそ全力疾走で仕事し，締め切りが近づいたら流す」という働き方：１０万部超えのベストセラーとなった、「なぜ、あなたの仕事は終わらないのか」のベースになったエントリーです。
404 Not Found： ページが見つかりません
▼【重要】ホームページ開設者の方へ▼
＠homepageは2016年11月10日(木)15時をもちましてサービス提供を終了させていただいたため、ホームページの表示ができません。
詳しくはこちらをご確認ください。
@nifty top ウェブサイトの利用について ｜ 個人情報保護ポリシー
特定商取引法に基づく表示
©NIFTY Corporation
2016-09-20
Seasar Conference Final
今週の土曜、9/24にSeasar Conference Finalを行います。
10年前に始まったSeasar Conferenceもいよいよ今度でFinalです。
お申し込みはこちら。
http://seasar.connpass.com/event/38679/
Seasar Projectの面白かったところって、開発方法論が盛り上がったところだと思うんですよ。
マーチンファウラーをはじめとして、著名な人たちのほとんどが「ドメインモデル推し」の中、僕は、「ステートレスなサービス + DTO推し」だったからね。S2Daoは、このために作ったようなものです。
あの開発方法論の議論に、かなりの人が参加したり、自分で考えたりしたでしょう。それが、面白かったところです。みんなが自分の事として考えたから。そんな難しい話ではないし、自分のプロジェクトに即いかせる話だしね。
オブジェクト指向ナンチャラとかDDDとか、素晴らしいものなんだけど、自分のプロジェクトで生かそうとするとそう簡単にはいかないからね。
Seasar2の開発が終了した事で、Seasar Projectに関わった多くの人たちの多くの時間が無駄にされたと、思っている人もいるようだけど、僕はそうは思わない。Seasar Projectに関わった事で、プログラマとしての能力や知名度をあげた人とって多い訳だから、それを否定する必要はないと思っています。
今度のSeasar Conferenceでは、「Seasar Projectのふりかえり」と「SXSW攻略法」の二つの話をします。
「Seasar Projectのふりかえり」では、昔話をしてもしょうがないので、いくつかのプロジェクトを「なぜ始めたのか」「うまくいったところとでその理由」「失敗したところとそ
このページはお客様のご都合により現在アクセスを休止しております。
テンプレートがサーバサイドで実行される場合は、その時のModelやViewをクライアントサイドで復元するための情報も一緒にレンダリングします。これによって、ブラウザではあたかも最初からそこで動いていたかのようにBackboneアプリが動作することができるのです。ただし、この部分 (と、Modelのキャッシュ) はシンプルなRendrの中ではちょっとばかりトリッキーなところで、トラブルの元になりやすい印象です。アプリ内で画面遷移 (Router.navigate()) した後はうまく動くのに、リロードするとうまく動かない、なんて場合はそこら辺ではまってる可能性があります。