Mathmatics In Lean4の第5章 初等数論の2つ目の話題は帰納法と再帰です。自然数では定義が帰納的であること(自然数型は帰納型であること)を知ります。 inductive Nat zero : Nat succ (n : Nat) : Nat この意味は、0はNat型、Nat型の要素を1つとってnとするとsucc nもNat型です。そしてsucc n=0となるようなnはありません。ちなみにsucc nはn+1とも書かれます。 次にこの型の上で階乗関数を再帰的に定義します。 def fac : ℕ → ℕ 0 => 1 n + 1 => (n + 1) * fac …
movie buff。映画に詳しい,マニア。技術英語じゃないから新鮮。 AWSで一つ素敵な仕事が舞い込んできた。貴重な登壇の機会だ。頑張って準備しよう。
Melodics(136日目):Materials(Grade6)
Finger DrumMaterials(Grade6) 片手打ちの練習曲なのだが,最初,Padが横に並んでいた。いやー,それはないわ,ということで縦に配置したら演奏が安定した。横だと,指を相当広げないと叩けない。pianoのchordであっても,人差し指中指薬指でドミソとかはしないわけです。
【数列】部分分数分解のやり方をわかりやすく解説。3つの場合も!
シグマの計算で,意味不明な変形が出てきたんだけど… \displaystyle{\sum^{n}_{k=1}\cfrac{1}{k(k+2)}=\sum^{n}_{k=1}\cfrac{1}{2}\left(\cfrac{1}{k}-\c
算額(その833)藤田貞資(1807):続神壁算法http://www.wasan.jp/jinpeki/zokujinpekisanpo.pdf長方形の一隅から直角三角形を切り取ると,残長(長辺から切り取られた残りの長さ)が339.52寸,残平(短辺から切り取られた残りの長さ)が169.76寸,截斜(切り取られた直角三角形の斜辺)の長さが424.4寸とする。切り取られたあとの面積が最大になるときの長方形の長辺の長さはいかほどか。残長,残平,截斜をそれぞれX,Y,L長辺,短辺から切り取られる長さをそれぞれx,y切り取られたあとの面積をSとする。Sはxの関数として表すことができる。S(x)=(X+x)*(Y+y)-x*y/2include("julia-source.txt");#julia-source....算額(その833)
6 時半起床. 午前中は寝て過ごす. 午後に洗濯をした. なぜか体が重たい. 洗濯機で衣類を洗い乾燥機で乾かすだけの作業が, とても難しく感じる. 横になって休むが, 次第に沈鬱な気分になってくる. 今は考えなくてもよい先々への不安がぐるぐると湧き上がってきて苦しい. 昨日まで体調はよかったのだが… まだ体調が不安定で波がある. なかなかうまくいかない. 夕食は鰈の煮付けとご飯. 辛い. 早めに布…
算額(その832)埼玉の算額78加須市外野棘脱地蔵堂第1問和算問題あれこれ2令和6年4月の問題-No.2https://gunmawasan.web.fc2.com/k-n-mondai.html大円2個,中円2個が互いに交差し,できた区画に小円が3個入っている。中円,小円の直径がそれぞれ6寸,3寸のとき,大円の直径はいかほどか。見た目によらず一本の方程式を解けばよいだけの簡単な問題である。include("julia-source.txt");#julia-source.txtソースhttps://blog.goo.ne.jp/r-de-r/e/ad3a427b84bb416c4f5b73089ae813cfusingSymPy@symsr1::positive,r2::positive,r3::pos...算額(その832)
数学検定の結果が送付されてきました…2級2次、平均点より下。_  ̄ ○
皆さん こんにちは、時空 解です。休日、それは "充実した人生" をちょっとシミュレートできる日です。昨日、第422回 数学検定2級の検定結果が郵送されてきました。合否発表はすでに Web 上の発表で知ってはいました。でも…自分の得点が平均点よりも下と言う結果に、またがっかりしております。学習方法がダメ? …いやいや、学習量が足りなくて合格はできないのだと思います、ここが踏ん張りどころです...
データを採取して度数分布表を作成することがあります。度数分布表とは、得られたデータがどの範囲にいくつ存在するかをまとめた表で、例えば曜日別に交通事故発生件数をまとめた表が該当します。このとき、得られた度数分布が何らかの確 ...
6 時起床. 熟睡はできなかったが、すっきり目覚めることができた. 体調はいい. 朝食のあとはいつもの通り寝て過ごす. 朝の鬱が落ち着いたといえ, 午前中はだるさがある. 午後は風呂に入る. だらだらしていたせいで入浴時間終了の直前になった. 夕食は魚の照り焼きとご飯. 体調がいい日が続いているが, まだ心の疲れがある. 何かをしたいという意欲も出ない. 布団に入って休む.
算額(その831)藤田貞資:精要算法(下巻),天明元年(1781)http://www.wasan.jp/seiyou/seiyou.html長方形の中に楕円が入っている。楕円は長方形の4辺に(4点で)接している。長方形の対角線が13寸,楕円の長径が12寸のとき,楕円の短径はいかほどか。算法助術の公式89を用いる。長方形の短辺,長辺をa,b楕円の長径,短径をp,qとおくと,p^2+q^2=a^2+b^2である。qについて解くとq=sqrt(a^2+b^2-p^2)sqrt(a^2+b^2)=13,p=12であるから,q=5を得る。算額(その831)
皆さん こんにちは、時空 解です。今日は勤め先に 30分 早く出勤しなくてはならなくなりました。下記のサイトからの影響が出ているのですよね。・HOYAがシステム障害、外的要因による重大なインシデントで出荷に影響もシステム障害により、供給に支障をきたしているようですからね。一般の方たち (お客様) からの需要は変わっていませんので、どこかで供給のバランスを取らなくてはなりません。昨日も忙しかったです。( ^^;今日も頑張って仕事に...
1 名無しなのに合格 2010/03/13(土) 10:20:59 id:SKxiLI0L0 今年1浪目現役時は文型なのに地理をとってしまい私立受けられないところありまくりんぐ今年こそは早慶にいきたいこんな俺には日本史、世界史どちらがオススメだろうか? 8 名無しなのに合格 2010/03/13(土) 11:57:27 id:nCq6EGHd0 世界史が無難がりがり真っ向勝負すべき 9 名無しなのに合格 2010/03/13(土) 12:10:22 id:BYVC8ob90 日本史の方が分量が多いけど、中学受験や高校受験で歴史をちゃんとやってる人なら日本史の方が進めやすいよ。だって大きな流れが…
別事例oswデータで 因子選択 交互作用の組み方を試す【曝露-cRDプロット】
■ 因子選択と交互作用項の設定は 別事例データでも通じるか調べる 因子選択 ~ 曝露数、cRD 絶対値の大きなもの 交互作用項の設定 ~ それらの主な組み合わせのみによる 2重交互>3重交互 モデルは 切片≒0,...
6 時起床. 体が軽く感じる. 昨日までと比べて頭の中がすっきりしている. 昼間は何もせずに休む. 夕方に看護師さんと 20 分ほど話す機会があった. 今日の体調のことなど. 入院したばかりの頃は会話をするのが辛かった. 頭が回らず, 言われたことを理解し話す言葉を選ぶことが苦痛だったのだ. けれども今日はその時よりも楽に会話を続けられた. ゆっくりだが鬱から回復してきている. 夕食は魚の照り焼きと…
ほったらかしにしてはいけない、そもそも NISA って? & マイナス金利政策 って?
皆さん こんにちは、時空 解です。数学の学習をしていて自分の不勉強を痛感しています。好きなはずの理数系のことに関しても、ここのブログを続けていなければ殆ど新しい知識は吸収していないことでしょう。それに、もっと酷い状況なのは世間一般に対する知識の吸収を疎かにしていることです。典型的な「フィッシング詐欺」や「オレオレ詐欺」に注意するためにも、ニュース・報道番組やネット上のニュースには目を通さないとね。それで最近目にするのが表題にも書いた・新...
物質がない場合の重力場に関する議論を終えたアインシュタインは次にこの理論を物質がある場合へと拡張します。そこで第16節 16 重力の場の方程式の一般形 を読みます。アインシュタインは、、第15節で定式化された物質のない空間での重力場の方程式は、ニュートンの重力理論の重力場...
「科学ブログ」 カテゴリー一覧(参加人数順)