算額(その875)新潟県長岡市蒼柴神社亨和元年(1801)3月http://www.wasan.jp/niigata/aoshi.html涌田和芳,外川一仁:長岡蒼柴神社の算額,長岡工業高等専門学校研究紀要,第42巻,第2号(2006)https://kinpoku.nagaoka-ct.ac.jp/lib/kiyo/vol_41-45/vol_42_2/42_2_1wakuta.pdf角錐台の中に大球1個,小球4個が入っている。上底,下底の正方形の一辺の長さがそれぞれ2寸,6寸のとき,大球の直径はいかほどか。角錐と角錐台の高さをh,h2上底,下底の正方形の一辺の長さを2a,2b大球の半径と中心座標をr1,(0,0,h2-r1)小球の半径と中心座標をr2,(r2,r2,r2)と置く。eq1:x軸に対して4...算額(その875)
算額(その874)秋田県大仙市角間川町角間川前寺矢野充志:いろいろな算額,平成30年度微分積分Ⅰ(2S・2I・2C),2019/02/25.https://www.libe.nara-k.ac.jp/~yano/biseki1_2018/meisatsu2.pdf正方形の内部に斜線,四分円,半円,大円,小円を入れる。小円の直径が与えられたとき,大円の直径を求めよ。正方形の一辺の長さを2r1四分円の半径と中心座標を2r1,(0,0)半円の半径と中心座標をr1,(2r1,r1)大円の半径と中心座標をr2,(r2,r2)小円の半径と中心座標をr3,(2r1-r3,y3)とおき,以下の連立方程式を解く。include("julia-source.txt");usingSymPy@symsr1::positive,...算額(その874)
皆さん こんにちは、時空 解です。今日は理数系の話から離れて、出版業界のことを取り上げてみます。・出版された本の90%は2000部未満・50%は12部未満しか売れていないことが裁判記録から判明 - GIGAZINE上記のサイトの表題を見て、ギョッとしました。「ホントかいな」と疑いましたが、話の発端は出版社の独占禁止法違反を巡っての政府への訴訟。裁判記録からの情報なんで信ぴょう性はありますよね。うーむ…。上記のサイト...
Melodics(156日目):Inverted World(Grade7)
Finger Drum:Inverted World(Grade7) Inverted Worldを左右反転して練習。左手の感覚がまだついてこない。けど多分明日には出来てるでしょう。
[1ページ目] ヘルムホルツ方程式と呼ばれる式に対し、円柱座標を適用させて得られる方程式にベッセル関数とよばれる微分方程式があります。この微分方程式の解を導くためには普段通りのやり方だとうまくいかないので、ある級数を一つの解として仮定するやり方─“級数解法”という方法を使ってその解を求めていくことになります。
7 時起床. まだ少し眠い. 昼まで寝る. 午前中は寝てばかりいる. 午後になってから入浴. ゆっくり湯船に浸かる. さっぱりした. 食事の時間まで nLab の記事を読む. 昨日の続きに関連して, 分析幾何学 (analytic geometry ─「解析幾何学」と呼ばれる分野. 以下この呼び方を使う) と綜合幾何学 (synthetic geometry) について. 理解できない部分もあったがざっと…
算額(その872)会田安明:算法天生法指南,文化7年(1810)京都大学貴重資料デジタルアーカイブhttps://rmda.kulib.kyoto-u.ac.jp/item/rb00028519#?c=0&m=0&s=0&cv=95&r=0&xywh=-487%2C-149%2C4481%2C2977横長の紙をおみくじ上に結ぶ。紙の幅が一寸のとき正五角形の一辺の長さはいかほどか。正五角形の一辺の長さ(ab)をx,紙の幅(ac)をyとする。図において,∠bac=18°である。x*cosd(18)=yより,yが与えられたときx=2√2y/sqrt(√5+5)を求める。include("julia-source.txt");usingSymPy@symsx,yeq=x*cosd(Sym(18))-yx=solv...算額(その872)
一意分解でない整域の例としては \( \mathbb{Z} \) がよく取り上げられるが、これは \( \mathbb{Q} (\sqrt{-5} ) \) が類数1でないことから得られる。よりシンプルな例として \( \mathbb{Z}
皆さん こんにちは、時空 解です。今日の朝、第425回2024年6月22日検定 の2級2次検定を申し込みました。うーむ、2次のみとは言え、5500円もかかってしまいます。ちゃっと高い。( ^^;それに受験会場がね。直近の検定として 第424回2024年6月8日検定 があるんですけどね。これにはもう申し込みができないんです。愛知県内の受験会場はすべて満席でしたのでね。以前、明光義塾での数学検定時に検定員の方から「ご自宅近くの明光義塾に...
Melodics(155日目):Inverted World(Grade7)
Finger Drum:Inverted World(Grade7) 右手だけの曲が続く。左右を切り替える,FLIP PAD LAYOUTという設定もあるので,両手で鍛えるのが良い感じ。
5 時起床. 昼間, 担当医と話をする. 自分からは最近体調がいいことを伝える. また, これまで気力が出なかったが, 少しづつ気持ちが前向きになってきたことも. そうしたら担当医から, 調子がいいようなので今後は退院を見据えてやって行きましょうと言われた. 午後は何もせずに休む. 夕食は豚キムチとご飯. 回復してきたという実感はある. ようやく退院が現実的な目標になってきた. 歯磨きをして休む.
「青チャート式数学II」基本例題257 (改訂版246) を例に ClassPad Math での $ y = mx $ と $ y = m \cdot x $ の違い
皆さん こんにちは、時空 解です。今日は青チャート式数学の問題を ClassPad Math を利用して考えてみました。問題は表題に書いたとおり「青チャート式数学II」基本例題257 (改訂版246) です。 「青チャート式数学II」基本例題257 (改訂版246) 曲線 $ y = x^3 -6x^2 +9x $ と直線 $ y =mx $ で囲まれた2つの図形の面積が等しくなるような定数 $ m $ の値を求めよ。ただし...
Melodics(154日目):The Jabberwock(Grade6)
Finger Drum:The Jabberwock(Grade6) 今日も一つ進んだ。最後は同じphrasesでguitarが入っている曲。
7 時半起床. 妙に神経が昂ってしまい明け方まで眠れなかった. 食事の時間以外, 夕方まで眠る. それから nLab の記事を漫然と読む. その中で analytic versus synthetic (分析的 (analytic) と綜合的 (synthetic)) という項目は, 以前読んだカント『プロレゴメナ』の内…
Mathematics in Lean4の数論の章の3つ目のセクションではいよいよ「自然数には素数が無限個ある」ことを形式化して証明します。 証明方法として3つのやり方が説明されています。それぞれの形式化も異なるので下記に記載してみました。 ある自然数nに対して必ずnよりも大きな素数が存在する(作れる)ことを示す。theorem primes_infinite : ∀ n, ∃ p > n, Nat.Prime p := by... 素数が有限個しかないとして、それらの積に1を足した数を考えるとその素因数が元の素数の集合に含まれることから矛盾を導く(ユークリッド)。theorem primes…
「科学ブログ」 カテゴリー一覧(参加人数順)