最終更新日 2024.11.21
2024-11-20 「神の証明」の簡単化についての覚書 ガウスの第六証明
前回紹介した「第六証明」のアレンジは、 Erdős のいう「神の証明集」に基づく(それぞれの定理について、最もエレガントな証明法を集めた天界の書物)。美しい証明には違いないが、振り返ると、幾つか「もっと簡単にできるのでは」と思われる部分もある。
もしも「数学のギネスブック」のようなものがあったとしたら、「平方剰余の相互法則」は「最も多くの別証明が考案・公表された定理」として、そこに掲載されるらしい。多くの研究者が何度もこの定理に取り組んだのは、だてや酔狂ではないし、ましてや「本当に正しいのか?」と疑問を感じて、再証明を試みたわけでもない。
いうなれば、幾つもの国境にまたがって延びる山脈。「同じ一つの山脈」だけど、例えばイタリア側から登るのとフランス側から登るのとでは、全く別の風景を楽しめる。どのコースの展望も素晴らしいのだ!
→ 続きを読む
2024-11-19 相互法則・ガウスの第六証明(現代版)
「平方剰余の相互法則の第六証明」を現代化した形で記す。アイゼンシュタイン版(1844年)と比べさらに透明で、ほと
イーグル・アイ
2009年3月22日
イーグル・アイ 凡百の監督なら3時間かけてダラダラ撮影するだろう、ほとんど陳腐なパーツの組み合わせでしかないシナリオを、場面場面を点と割り切って編集することで緊張感に満ちた2時間を作り上げた。その短歌…
バンテージ・ポイント
2008年8月24日
バンテージ・ポイント 任務遂行のためなら味方も殺す。アメリカ大統領誘拐を謀るそんな非情のテロ組織メンバーが、少女を前にアクセルを踏まずハンドルを切るってどないやねん。黒人のオッサンもすごいロリコンくさ…
アニメ「宇宙戦艦ヤマト2202」&映画「ミッドナイト・スカイ」感想
2021年5月1日
「はてブ」コメントへの回答を書いてるとき、netflixに続編が配信されていたことを思い出して、ヤマト2202をBGVに流したのね。なに、コレ? 「戦争はいけません。武器は悪いものです。どちらも人を…
ラースと、その彼女
2009年8月12日
ラースと、その彼女 この映画は君。そして、ぼく。言われなくても、君とぼくがいちばんわかっている。けど、いつまでこの人生を生きればいいのか、わからない。…
漫画「ハイキュー!!」感
Hes Got Rizz takes you to 2024 way of approaching girls. Watch lucky dudes take several attempts to score.
10
今月もオブジェクトの広場をどうぞお楽しみください。記事に対する感想は、ぜひ公式Facebookページのコメント欄までお願いいたします。(2024.10.29)
新人エンジニアにすすめるリファレンスと本の活用 —新人研修の現場から伝えたい基本のこと—
初めての言語を使って開発するときにどうやって調べるか?基本的な「調べる」という行為ですがそのやり方を教わる機会は案外少ないかもしれません。今回は当社の新人研修で見えた実際の状況をもとに、新人エンジニアにすすめたい方法を、リファレンスと本の活用に絞って紹介します。情報を得る方法はさまざまありますので、選択肢の一つとして参考にしてください。
Modeling Forum 2024 開催のお知らせ
UMLモデリング推進協議会(UMTP)が毎年開催する「Modeling Forum」が今年も開催されます。UMTP 会長・モデリングアンバサダーの羽生田栄一氏にいただいたコメントと合わせてご案内します。
11月号は、11月下旬頃の公開予定です。
「読書の秋」という言葉を意識してか、気候が穏やかになったからか、たまにやってくる読書熱が自分の中で上が
線表現の可能性
The Possibilities of Linear Expression
■2024年 11月2日(土)~
2025年 1月26日(日)
■休館日:月曜日(11月4日、1月13日は開館し、11月5日、1月14日は休館)、年末年始(12月28日~1月4日)
一般1,200円(1,000円)
※本料金で、同時開催のコレクション展もご覧いただけます
◎一枚の絵は一本の線を引くことから始まります。線にはいろいろな種類があります。直線、曲線、点線、波線。描く材料によっても線の表情はさまざまに変化します。鉛筆やペンが生み出す細く尖った線。木炭やチョークの太く軟らかい線。また、伝統的な東洋画の筆と墨による運筆法は、「書画一致」と呼ばれ、線に作者の人格が表れ出るものとされてきました。線描画は、かつては完成作のための習作や下絵として描かれ、対象の形態を明確に輪郭づけるためのデッサンとしての役割を担ってきました。線は世の中のあらゆる存在を分節化し、各々を意味の世界へと定着させるための手段でした。その際、現実には存在しない輪郭線という抽象的概念が絵画の基盤となりました。
一方、20世紀以
2024-08-10
東北のヤチダモ
使用機材:https://ita.hatenadiary.jp/entry/20180816/p2
クリックで拡大。★は初見。
東北の地域限定ナガタマを狙いに行ってきました。一年ぶり二回目。
続きを読む
ita 2024-08-10 00:00 読者になる
広告を非表示にする
もっと読む
コメントを書く
10 【書いた】宮城スギウラ生きてない
4 【書いた】奥多摩ネルソンダイミョウ(県初?)
東北のヤチダモ
2024/10/06 (Sun)
= 体調不良
_ 先月末あたりから体調を崩していた。
起きて作業する気力もなかったのでスマホに残していたメモを元に再構成する。
_ 9月下旬あたりから、なんか喉がひりひりするような、そうでもないような、
熱っぽいような、でも測ってみると平熱だったり、といった状態を繰り返していた。
_ 10/1。夜中に何度も目が覚めた。朝方に喉の痛みが、
もはや気のせいとは言えないレベルで出てきた。そして身体がとてもダルい。
少し啖が絡む気がするが、セキが出るわけでもなく鼻の通りもまったく問題ない。
_ 5時前くらいにそんな状態だったので、午前にある外せない打ち合わせ2本以外を
調整するなどの対応をした後に、打ち合わせ直前まで寝て起きたところ
ダルさがかなり軽くなったのでもう治った?と思ったがどうやらそうでも
なかったらしい。声もうまく出てこないし、その中でどうにか喋っているうちに
どんどんしんどくなってきた。
打ち合わせをどうにかこなした後かかりつけの病院に電話して予約した後に
検査をしてもらった。
起きてすぐの体温は36度台、病院に行く直前に測ったときは37.7度ま
Публикувано от Kalin в 23:45 Няма коментари:
Last Modified: Sun Aug 18 19:36:58 UTC 2024
好きなこと2 2024-08-19 [Mon] 04:33
COVID以降、まだ一度も海外へ行っていない。
おまけに結婚し、子供もできてしまったので、
「一人で気ままに海外旅行」なんてのはもう到底できないだろう。
しかし、あいかわらず自分にとって興奮するのは
「海外の見知らぬ場所に行くこと」なんだな。
別に一人でなくてもいいや。
先週、義理のばあちゃん (つまり、息子の曾祖母) の葬式にいった。
yasuokaの日記: スラドからQiitaに移動 1
日記と1コメントを読む...
スポンサーサイト
--------(--)
スポンサー広告
上記の広告は1ヶ月以上更新のないブログに表示されています。
新しい記事を書く事で広告が消せます。
FC2Ad
【刑事キャレラ/10+1の追撃】
4月21日発売 発売中
エド・マクベインの87分署シリーズ『10プラス1』を、南仏ニースに舞台を移して映画化。超望遠ライフルによる謎の連続殺人を追うキャレラ刑事らの活躍を描く。
1845円 [amazon]
【Blu-ray】 2280円 [amazon]
【犯罪河岸 4Kレストア】
4月26日発売
パリの下町。年下の歌手ジェニーと結婚したモーリスは、裕福で好色な老人ブリニョンとの関係を疑い、拳銃を手に彼の邸宅に向かった。しかし待っていたのは何者かに殺害された老人の死体だった。S・A・ステーマンの原作をアンリ=ジョルジュ・クルーゾーが映画化。
5280円 [amazon]
【パトリシア・ハイスミスに恋して】
4月26日発売
パトリシア・ハイスミス生誕100周年を経て発表された秘密の日記やノート、本人映像やインタビュー音声、元恋人たちや親族へのインタビューで明かされる、多くの女性たちから愛された作家の素顔とは。彼女の謎に包まれた人生と著作に新たな光を当てるドキュメンタリー。
4400円 [amazon]
【ザ・スカル サド侯爵の頭蓋骨】
4月26日発売
also in paperback from Amazon (USA), Amazon (UK), Amazon (Australia) etc.
Last revision: Tuesday, 9 April 2024
日々の記録。
読者になる
アニメたれ感日記
読者になる
たまにしか更新しない日記
読者になる
ふしはらかんのらーめん話
あけてくれ -- おれカネゴンの『算数できんのやっぱり気にしすぎとや』日記
読者になる
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
Squarepusher ˇ
'Dostrotime' Decrypted: Track By Track Now Live
Explore New Album 'RAVE:N'
Enter 'Quaranta' - the Detroit rapper's long-awaited 7th album
matakimika 2023-07-02 15:03 読者になる
航天機構
履歴
what's new 水城
self introduction 読書
bookreview 宇宙
space development 化猫
"GEOBREEDERS" 雑記
text 他薦
link Send mail to:mizuki@msd.biglobe.ne.jp
lifelog
not diary, not blog
-過去ログ-
■ アメリカ西海岸の宇宙開発とスーサイド・スカッド#8 -2021年11月20日(土)00時08分
JPLは陸軍の管轄になった。短距離弾道ミサイルコーポラルを完成させると次は固体のサージャントミサイルの開発を始めたが、そこから先、大型弾道ミサイルの開発は他の組織、企業が担当しておりJPLの出る幕は無かった。
1953年、ソ連が水爆実験に成功したと喧伝すると、これを受けて戦略ミサイル評価委員会、いわゆるティーポット委員会はアトラス大陸間弾道弾の開発を最優先とする事に決め、コンベア社を監督するためにサイモン・ラモとディーン・ウルドリッジの会社に任せることに決めた。後のTRW社だ。
JPLは1954年、マリナの次の次の代のマネージャ、ビ
Smalltalk-72で遊ぶOOPの原点:組み込みコレクションにeach変数が使える「do」を新たに追加する
23/06/27
打ち上げチャンス!ウロンです。えーっと、たとえば同じアニメ好きちゅても、原画マン100人覚えてる作豚と声優100人覚えてる萌え豚とじゃお互い一切会話が成立しないちゅのはなんとなく想像つくでしょ。近年、これと同じことがパチスロでも起こっててさ、5号機後半以降の主力機種であるAT機しか打たないスロッカスと、俗にノーマルちゅわれるボーナスタイプを中心とした目押しが多めに必要な機械、いわゆる技術介入機を好んで打つスロッカスとの間でも同じよに会話が成立しなくなってんの。まー音楽や読書等々の趣味ゴト、さらには各種学問なんかでも、でっかいくくりでは同じに見えてもジャンルが違えばお互い何ゆってんのかまったくワカランなんちゅのはよくあることではあんだけど。
この傾向、実のトコロ4号機時代後期にはもうはじまってたんよね。初めて打ったのが4.5号機のストック機以降とかだと、ノーマルあんまり触ったことなくて20年スロ打ってんのに2コマ以内の目押しができないなんちゅ人、けっこうザラにいんの。そのくらいの時期だとまだ行くトコ行けば、たとえばすでに珍古台置き場になりかけてたグリンピなんかでけっこう
Powered by Ruby version 2.0.0-p648
ネットで読める松浦の記事
日経クロステック著者検索 松浦晋也
日経ビジネス電子版・著者ページ
介護生活敗戦記
松浦晋也の「モビリティビジョン」
「人と技術と情報の界面を探る」
404error
お探しのページが見つかりませんでした。
サイトの管理者の方はURLにお間違いがないかご確認ください。
詳しくは「404ERRORというエラーが発生します」のページをご確認ください。
©2009–2022 Okome
読者になる
© Yahoo Japan
© Yahoo Japan
Not Found
The requested URL /mnn/senya/senya.html was not found on this server.