|
|
|
|
|
||
|
||
2024-11-20 「神の証明」の簡単化についての覚書 ガウスの第六証明
前回紹介した「第六証明」のアレンジは、 Erdős のいう「神の証明集」に基づく（それぞれの定理について、最もエレガントな証明法を集めた天界の書物）。美しい証明には違いないが、振り返ると、幾つか「もっと簡単にできるのでは」と思われる部分もある。
もしも「数学のギネスブック」のようなものがあったとしたら、「平方剰余の相互法則」は「最も多くの別証明が考案・公表された定理」として、そこに掲載されるらしい。多くの研究者が何度もこの定理に取り組んだのは、だてや酔狂ではないし、ましてや「本当に正しいのか？」と疑問を感じて、再証明を試みたわけでもない。
いうなれば、幾つもの国境にまたがって延びる山脈。「同じ一つの山脈」だけど、例えばイタリア側から登るのとフランス側から登るのとでは、全く別の風景を楽しめる。どのコースの展望も素晴らしいのだ！
→ 続きを読む
2024-11-19 相互法則・ガウスの第六証明（現代版）
「平方剰余の相互法則の第六証明」を現代化した形で記す。アイゼンシュタイン版（1844年）と比べさらに透明で、ほとんど一点の曇りもない。
「30日の月のご﹅と﹅お﹅日﹅（5・10・15・20・25・30日）は全部曜日が違う」という程度の、たわいもない日常的事実もまた、群論の立派な応用。抽象代数をうまく使うと、話が簡潔・明快になる。ブルバキ以降、少々やり過ぎと思われる事例も散見されるが…
→ 続きを読む
2024-11-17 相互法則・ガウスの第六証明（アイゼンシュタイン版）
ガウス和を経由する第六証明は、透明度が高い。このメモでは、「ガウスの第六証明のアイゼンシュタイン版」を紹介する。
2024-11-17
_ 八犬伝
八犬伝観てきた。
この作品は、もちろん山田風太郎の原作があるから行ったわけだが、映画としてもうまくできていて、実に良かった。
原作は朝日新聞の夕刊連載中に読んでいて、大体忘れているわけだが、四谷怪談を観終わって、奈落の底巡り（見学）をしている馬琴の前に、奈落の天井裏から垢嘗めのようにだらーんと鶴屋南北が登場するシーンだけは忘れようがない。
で、映画もまさにここを物語上の最大の山場/見せ場としている。
芝居が始まると忠臣蔵の鮒侍のあたりで北斎がうんざりして鼻くそほじりながら観ている額縁の忠臣蔵（その時に、忠臣蔵は実話ベースの正義の話だから神、と馬琴は北斎に力説している）の中に不義士田宮伊右衛門の泥沼の悪行を埋め込む構造について、馬琴が南北を詰問する。
南北は平然と、虚の怪談と実の忠臣蔵の足し算、いやそれどころか掛け算、つまりはシナジーを産み出したおれさますげーと言い放つ。
それに対して馬琴は、嘘つき野郎め。何がシナジーだ。てめぇのやったこた、実から虚の引き算で奈落の虚無しか残って無いじゃねぇか。と断言する。
すると南北、いやいやすべてが悪の実こそすべて、実は虚無の虚から実を引いた負の世界こそ、この世の実というものでやしょうと突き放す。
そこで馬琴は圧倒的な四谷怪談という作品の持つ説得力を観せられただけに葛藤するわけだが、それと同時に自分が持つ創作への信念を翻然と悟る。自分はそれまで実が負だからこそ正の虚を描くことで差し引き0に正された世界を描こうとしていると思い込んでいたのだが、実は実こそ0（悪も勝てば正義も勝ち、そこには価値判断可能な実は無い）で、そこに正に正たる虚を上乗せすることで陽に正の世界を読者に提供しようとしていたのだ。
これを演技で表現しているのだから、その点で、明らかに役者の映画であった。馬琴が実に良い。
映画は北斎の、偏屈おっ
【完了】10月28日（月）6:00-7:00 データベースメンテナンス実施に伴うはてな各サービス停止についてのお知らせ
tanigonの日記
読者になる
TẤT CẢ 78TRẬN HOT23HÔM NAY68ĐANG ĐÁ31
A LEAGUE
6'
Perth Glory
Western Sydney
blv：TẠ BIÊN GIỚI
BLV CÁ
BLV CRIS
BLV TAP
AFC U20W C
45'
Australia U20(w)
South Korea Women U20
blv：BLV A TÀI
BLV ENZO
BLV HOPE
ViệtName
GIẢI HẠNG NHÌ HÀN QUỐC
62'
LIVE
Gyeongnam FC
1
-
2
Chungnam Asan
XEM NGAY
blv：BLV EDWARD
GIẢI NGOẠI HẠNG TRUNG QUỐC
62'
LIVE
Chongqing Tongliangloong FC
1
-
1
Heilongjiang Lava Spring
XEM NGAY
blv：BLV ODIN
BLV TONY
GIẢI HẠNG NHÌ HÀN QUỐC
63'
Bucheon FC 1995
Seoul E-Land FC
Dự Văn Chiến
GIẢI HẠNG NHẤT HÀN QUỐC
59'
FC Seoul
2
Jeju United
blv：BLV MESSI
MĂNG CỤT
BLV JAKIE
PHI HÀNH
GIẢI HẠNG NHẤT HÀN QUỐC
63'
Daegu FC
Suwon Football Club
blv：BLV BÁC SĨ
CÔNG LÝ
MR. RÊ
BLV FIREMAN
90'
Tokyo Verdy
2
2
Albirex Niigata
blv：SAO LA
BLV KEVILL
MÁT GAI
SÙNG A MÚP
GIẢI VĐQG BANG VICTORIA
90+'
Po
yaneurao 2015-02-18 00:00 読者になる
「2024年開設ブログ」に入りましょう
はてなブログには、同じ話題でつながる「グループ」があります。まずはこちらの「2024年開設ブログ」に入りましょう。同時期に始めたブログとつながることができます。
▼ ▶
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
ホーム ピグ アメブロ
よくある質問
利用規約
©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()) した後はうまく動くのに、リロードするとうまく動かない、なんて場合はそこら辺ではまってる可能性があります。