数学・科学・工学に関連する話題を提供している人のためのブロググループです。
はてなブログを持っていれば、誰でも参加できます。
・A-1系の命題は、主語と述語が同一であり、いわゆるトートロジーと呼ばれるものである。 ・A-2系の命題は、主語概念が述語概念に含まれている。主語よりも述語の方が上位概念にあると言ってもよいのだろう。 ・A-3系の命題は、近代に入って科学が生まれたことで新たな概念が獲得されたことで、生じたものと言えそうである。 ・A系の命題は否定形が成立しない。真にしかなりえないという特徴を持つ。 ・A系の命題は…
解析学において、距離空間の「完備性」は、任意のCauchy列が空間内で収束すること、すなわち極限を持つこととして定義されます。この概念は、 論法を用いた局所的な不等式評価や、実数の連続性公理を基礎とする解析的な議論の典型例です。 しかし、F. W. Lawvere (1973) の研究に端を発する Enriched category theory の視座を導入すると、この解析学の根幹をなす極限の存…
これまでの経緯から、わたしたちはこのような予想を立てることができそうです。この主張におけるn=1の場合には、
対策なら長崎市滑石の〈令和塾〉青雲中高・上智大学卒・TOEIC 760点の講師がマンツーマン指導 〒852-8065 長崎県長崎市横尾三丁目28-16 Tel & Fax. 095-856-5165 E-mail. araishinich@gmail.com 塾長：荒井 慎一 ホーム コース案内 令和塾について 講師紹介 お問合せ ブログ 家庭教師、はじめました！ 1回1時間・週2回で8,000円…
制御工学教育に利用可能なインタラクティブページを作成しました。今回、制御アニメーションを4つ追加し、合計10個になりました。大学（理工系学部）の制御教育などに活用いただけると幸いです。 # 教材名 内容 ファイル 01 1次系の応答 ステップ応答・インパルス応答 (K, T) control_1st_order.html 02 2次系の応答 ステップ応答・インパルス応答 (K, ωₙ, ζ) co…
擬似乱数を1bit伸ばすことができれば、任意の長さの擬似乱数に伸ばすことができます。この定理をLean4で形式化しました。 定理4.1 擬似乱数生成器$G : \{0,1\}^n \rightarrow \{0,1\}^{n+1}$に対し、$G':\{0,1\}^n \rightarrow\{0,1\}^L$を「 $x_0 = x, i=0,\dots , L-1$に対し、$G(x_i )=(x_…
6月だし、そうだ、紫陽花を見に行こう！ 紫陽花の前に待っていた長い登廊 色とりどりの紫陽花 一番印象に残ったのは紫陽花ではなかった とても静かな空間 行ってみないと分からない発見 アクセス情報 6月だし、そうだ、紫陽花を見に行こう！ そんな思いつきで、奈良県桜井市にある長谷寺へ行ってきました。長谷寺は「花の御寺（みてら）」とも呼ばれ、四季折々の花が楽しめることで有名なお寺です。特にこの時期は紫陽花…
今回のブログ作品は、日本女子サッカー国際試合：対南アフリカ緒戦（2026/6/6）を観戦後、筆の自説・持論を基に、生成AI（Copilot）との対話を通じてサッカー日本女子代表（なでしこジャパン）強化策について検討しました。 「ワントップ」と「ゼロトップ」の定義から始まり、谷川萌々子選手の能力・適性、日本女子代表の選手構成、最適布陣、年齢バランス、背番号や主将案に至るまで、戦術的・構造的に深い議論…
Calabi-Yau manifold papercraft n=5 with wikipedia → Calabi-Yau manifold papercraft top https://mathpapercraft.hatenablog.jp/entry/2026/04/14/Calabi-Yau_manifold_papercraft 3. 作成 内側から、複雑な所から作るのが鉄則。最奥は(…
次のページ
