朝顔日記 と Another 朝顔日記 やってます。
もひとつアンテナあります。のり未刊です。
すべて | グループ指定なし | 日 | 掲 | 亀 | ？ | ア | 鳥 | bot
2024-11-20 「神の証明」の簡単化についての覚書 ガウスの第六証明
前回紹介した「第六証明」のアレンジは、 Erdős のいう「神の証明集」に基づく（それぞれの定理について、最もエレガントな証明法を集めた天界の書物）。美しい証明には違いないが、振り返ると、幾つか「もっと簡単にできるのでは」と思われる部分もある。
もしも「数学のギネスブック」のようなものがあったとしたら、「平方剰余の相互法則」は「最も多くの別証明が考案・公表された定理」として、そこに掲載されるらしい。多くの研究者が何度もこの定理に取り組んだのは、だてや酔狂ではないし、ましてや「本当に正しいのか？」と疑問を感じて、再証明を試みたわけでもない。
いうなれば、幾つもの国境にまたがって延びる山脈。「同じ一つの山脈」だけど、例えばイタリア側から登るのとフランス側から登るのとでは、全く別の風景を楽しめる。どのコースの展望も素晴ら
スラドと OSDN の受け入れ先募集、現在の状況について [4] 49
雑談用ストーリー [3] 814
■ 2024.11.19
》 ソニー、KADOKAWA買収へ協議 関係筋 (ITmedia, 11/19)。うーむ……。
》 バルト海の海底ケーブル2本が切断される 「故意の損害の疑い」と独とフィンランドが表明 (ITmedia, 11/19)
ポータルの連携・利活用のための識別子共有とデータ設計 (2023-12-06)
第127回 国際ARCセミナーの講演資料です。メタデータポータルとしてのジャパンサーチのモデルをARCからのマッピングを例に紹介し、役者絵と番付の関係発見やカルチュラルジャパンへの応用などを取り上げます。
By KANZAKI, Masahide (see FOAF or home), ©1995-2023. Status: updated on 2023-12-07 . See the top item of this page.
11日 公園5ｋ 32分18秒〓 〓 〓 〓 〓 〓23日 公園５k ３２分42秒
｛3ｋ20分16秒｝ （3ｋ19分45秒）
12日 公園5ｋ 30分51秒 24日 公園5ｋ 31分23秒
〈3ｋ18分52秒＞ (3k18分52秒）
Help Status info
music & knowledge sharing
ちょっとしたメモ
主にセマンティック・ウェブ黎明期のできごとや実験文書などについて書いたメモです。
HTML5＋Microdataへの全面移行 (2012-09-21)
『セマンティックHTML/XHTML』例コードのテキストほか (2009-05-28)
『セマンティックHTML/XHTML』立ち読み用PDFの配布 (2009-05-18)
『セマンティックHTML/XHTML』予約開始 (2009-05-12)
セマンティック・マーク付け本ようやく脱稿 (2009-04-05)
FavikiとタグとDBpedia (2008-05-28)
alt要素？ (2008-05-21)
metaprofのブロックレベル要素処理を強化 (2008-01-30)
SKOSの新草案 (2008-01-29)
高原川が解禁してひと月半。
最近はFacebookに書き込むことはあっても、忙しいこともあって、自分のブログをアップするのが多少面倒で、お休みしていました。
今年は、なかなか釣りに行けず、例年なら３月はほぼ毎週行っていたのが、高原川解禁以降、これまで行ったのが、今日を含め４回。いずれも半日程度の釣行でした。
３月５日
ヤマメ数匹釣るがカメラを忘れる。
３月１０日のヤマメ
サイズもよく、とてもパーマークがきれい。
この日は、イワナも釣れました。
３月２０日のヤマメ
この日は寒くて、雪のちらつく日でした。
良いサイズが何匹か出るも、全くヒットせず。
何匹かかけるが、サイズに不満が残る。
４月１５日
昼過ぎから、栃尾のかなり下流にはいるが多少水が多く、全く反応なし。
蒲田川Ｃ＆Ｒ区間をのぞくが先行者２名。
上流を確認に行くが、どこも人が入っている。
あちこち見て回り、Ｃ＆Ｒ区間に戻ると誰もいない
一昨日、千里眼の人が珍しく具体的なレートでリーブオーダーを示唆していたので、乗った。USD/JPY 81.40ショート。結果+35pipsを獲得。といっても0.1ロットなので3,500JPYだけどな。去年のドバイショックの時もお世話になったっけ。
USD/JPYに限っての話だけど、つまらない材料でゆり動くレンジ相場を見切れるようになってきた気がしないでもない。USD/JPY 80.69 ロングで+50pips抜きに成功。現在81.80。