hpprc/jawiki-books huggingface dataset:
数理論理学/命題論理

命題論理とは、命題を記号(命題変数という)に置き換え、命題どおしの関係の規則について考える。(よって、命題一つ一つにおける構造についての構成は述語論理のページを参照されたい)そして、それらの命題変数を組み合わせである論理式について考察していく。
命題論理では一般化された命題について考える分野であるため、命題変数は命題を一般化したものであると思って良い。
全て命題は真(TRUE)であるか偽(FALSE)であるかのいずれかである。よって、真でない命題は全て偽である。
詳しくは前ページを参考すること。
定義1.2では全て命題が真か偽かの2種類に分けられることを述べた。よって、命題に対し真、偽という2種類の値を定義することができる。
P {\displaystyle P} を任意の命題とする、 P {\displaystyle P} の真理値を以下のように定義する。 P = { T if P is TRUE F otherwise {\displaystyle P={\begin{cases}T&{\mbox{if }}P{\mbox{ is TRUE}}\\F&{\mbox{otherwise}}\end{cases}}}
真理値は、任意の命題 P {\displaystyle P} が真であったら T {\displaystyle T} を持ち、そうでなければ(偽であれば) F {\displaystyle F} を持つ値である、という解釈で間違いない。
集合 l = { T , F } {\displaystyle l=\{T,F}\} 及び自然数 n {\displaystyle n} に対して、直積 l n {\displaystyle l^{n}} から l {\displaystyle l} への写像を( n {\displaystyle n} 変数の)真理関数という。
直感的には、命題にいくつか(間に関係項のもった)連なりがあり、そこに真理関数を作用させていけば最終的にその連なり全体が真か偽いずれかになる、ということを示している。以下の具体例を見ればそれが分かりやすくなるだろう。その前に一つ定理を導いておく。
任意の命題 P {\displaystyle P} 及び、先ほど定義された集合 l {\displaystyle l} に対し P ∈ l {\displaystyle P\in l} である。
これは P {\displaystyle P} が T , F {\displaystyle T,F} いずれかの真理値を持つことから明らかである。
否定 ¬ {\displaystyle \lnot } は一変数の真理関数であり、以下のように定義する。 ¬ P = { F if P = T T otherwise {\displaystyle \lnot P={\begin{cases}F&{\mbox{if }}P=T\\T&{\mbox{otherwise}}\end{cases}}}
真と偽をひっくり返す真理関数である。
理論和 ∨ {\displaystyle \lor } は二変数の真理関数であり、以下のように定義する。 P ∨ Q = { F if P = Q = F T otherwise {\displaystyle P\lor Q={\begin{cases}F&{\mbox{if }}P=Q=F\\T&{\mbox{otherwise}}\end{cases}}}
P , Q {\displaystyle P,Q} 共に偽であるときでのみ P ∨ Q {\displaystyle P\lor Q} も偽であるということを示す。つまり、 P {\displaystyle P} または Q {\displaystyle Q} を表している。
理論積 ∧ {\displaystyle \land } は二変数の真理関数であり、以下のように定義する。 P ∧ Q = { T if P = Q = T F otherwise {\displaystyle P\land Q={\begin{cases}T&{\mbox{if }}P=Q=T\\F&{\mbox{otherwise}}\end{cases}}}
P , Q {\displaystyle P,Q} 共に真であるときでのみ P ∧ Q {\displaystyle P\land Q} も真であるということを示す。つまり、 P {\displaystyle P} かつ Q {\displaystyle Q} を表している。
含意 → {\displaystyle \rightarrow } は二変数の真理関数であり、以下のように定義する。 P → Q = { F if P = T ∧ Q = F T otherwise {\displaystyle P\rightarrow Q={\begin{cases}F&{\mbox{if }}P=T\land Q=F\\T&{\mbox{otherwise}}\end{cases}}} そして以上で述べた真理関数 ¬ , ∨ , ∧ , → {\displaystyle \lnot ,\lor ,\land ,\rightarrow } を論理結合子という。
P {\displaystyle P} が真であり、 Q {\displaystyle Q} が偽であるときでのみ P → Q {\displaystyle P\rightarrow Q} が偽であるということを示す。つまり、 P {\displaystyle P} ならば Q {\displaystyle Q} を表している。 以下より論理結合子を中心に議論していく。上の定義では真、偽の関係が分かりづらいため、真理値表を参考にすること。
中学校保健体育/環境への適応能力

私達の体は、環境の変化に合わせてどのように働きますか?
適応・適応能力・熱中症・低体温症
※気温の変化に合わせて、私達の体はどのように体温を調節していますか?
私達の体は、暑い時や寒い時のような気温の変化から意識しなくても様々な関係器官を働かせて一定体温(36.5°C前後)に保とうとします。その結果、私達の体は最もよく動くようになります。また、空気中の酸素濃度や気圧の変化に合わせて、体は様々な働きをします(適応)。
このように、環境が変わると、体の調節機能を働かせて新しい環境に慣れようとします(適応能力)。適応は自律神経の働きとして行われ、生命を維持するためにとても大切です。周りの環境に影響されると、適応能力も高まります。
熱帯地方の住民は汗腺の数も多いので、たいてい暑さに上手く耐えられます。その結果、汗をあまりかいていなくても肌が濡れやすくなります。また、皮膚近くの血管が広く、皮膚温度も高いので、熱を逃がしやすくなっています。
※適応能力の限界を超えると私達の体はどうなりますか?
私達の体は、どんな環境の変化にも適応出来ません。急激な変化や大きな変化は、適応能力の限界を超えるので、健康に深刻な悪影響をもたらします。普通、乳幼児や高齢者に適応能力はあまりありません。例えば、もし暑さに慣れなかったら、屋内・屋外を問わず熱中症になってしまいます。そして、体温が41°C以上になると意識を失って、最悪死んでしまいます。もし、山や海で行方不明になると、寒さに耐えられず低体温症になったり、凍死したりします。体温が33°C~34°Cを下回ると意識を失い、30°Cを下回ると最悪死んでしまいます。また、有害な化学物質に適応出来ません。
★熱中症の死者と凍死者の推移

上のグラフは厚生労働省「人口動態統計」から抜粋しています。
このように、適応能力の限界を超えて健康に悪影響を与えないように、気象情報を正しく利用してみましょう。例えば、天気予報などの内容を見てから判断して、正しい行動をとります。
※トムラウシ山遭難事故の内容を読んで、環境の変化と体の適応について考えてみましょう。
Python/標準モジュール/Tkinter

TkinterはPythonの標準GUI(グラフィカルユーザーインターフェース)ツールキットであり、簡単かつ直感的な方法でデスクトップアプリケーションを作成するための便利なライブラリです。
TkinterはPythonの標準ライブラリであるため、追加のインストールは必要ありません。Pythonをインストールすると、自動的にTkinterも使用できるようになります。
以下に、Tkinterを使用してシンプルなウィンドウを作成するための基本的なコード例を示します。
このコードでは、Tkinterをインポートし、ウィンドウ、ラベル、ボタンなどのウィジェットを作成しています。window.mainloop()メソッドは、ウィンドウを表示し、ユーザーのアクションを待ちます。
この例では、ウィンドウが表示されると、「ようこそ!」というテキストが表示され、ボタンをクリックするとテキストが「ボタンがクリックされました!」に変更されます。

Tkinterでは、さまざまな種類のウィジェットを使用できます。以下は、ボタンとラベルの作成例です。
ボタンを作成するには、Buttonクラスを使用します。
ラベルを作成するには、Labelクラスを使用します。
Tkinterでは、ウィジェット上で発生するイベントを処理することができます。以下は、ボタンクリック時にメッセージを表示する例です。
Tkinterでは、ウィジェットの配置やサイズ調整を行うためのレイアウトマネージャを使用できます。以下は、グリッドマネージャを使ったウィジェットの配置例です。
Tkinterでは、さまざまな種類のダイアログを作成することができます。以下は、メッセージボックスの表示例です。
Tkinterでは、キャンバスを使用してグラフィックス描画を行うことができます。以下は、直線を描画する例です。
Tkinterでは、メニューバーと各種メニューを作成することができます。以下は、メニューバーとドロップダウンメニューの例です。
JavaScript/クッキー

JavaScriptを使用してクッキー(Cookie)を操作することは一般的です。クッキーは、ウェブサイトがユーザーのブラウザに保存する小さなデータの塊で、サイトの動作を追跡するためやユーザーエクスペリエンスを向上させるために使用されます。以下は、JavaScriptを使用してクッキーを設定、取得、削除する基本的な方法です。
上記の例では、keyという名前のクッキーにvalueを設定しています。expiresで有効期限を指定し、pathでクッキーの有効なパスを指定しています。
上記の例では、getCookie関数を使用して指定された名前のクッキーの値を取得しています。
上記の例では、deleteCookie関数を使用して指定された名前のクッキーを削除しています。
これらのコードは基本的な例であり、実際の使用に応じて変更することができます。クッキーのセキュリティやプライバシーの観点から、機密情報を保存するのには注意が必要です。
JavaScriptを使用してクッキーを操作することは、さまざまなユースケースで利用されます。以下に、代表的なユースケースをいくつか挙げてみます。
これらは一般的なユースケースの一部であり、ウェブ開発においてクッキーは広範な用途で利用されています。ただし、ユーザープライバシーに配慮し、適切なセキュリティ対策を講じることが重要です。
JavaScriptを使用してクッキーを操作する際には、いくつかのベストプラクティスを考慮することが重要です。以下は一般的なベストプラクティスの一部です。
これらのベストプラクティスを遵守することで、セキュリティやプライバシーのリスクを最小限に抑えることができます。
古典文学/古典文法/名詞

名詞とは、物そのものの名称を表す言葉で単独に主語になることができる特徴がある。名詞は、以下の五種類に分けることができる。
物事に共通して用いられる言葉に用いられる名詞。 例...山、川、人、花など
特定の物や建物、人名などのそのもの固有にもつ物を表す名詞。 例...富士山、法隆寺、枕草子、紫式部など
人や物の量や順番を表す名詞。この名詞には、数を表す本数詞と本数詞の後ろにつけて数の意味を表す助数詞に分けることができる。 例...一人、百首、千体など
本来もっていたそのものの意味を失った名詞。連体修飾語を必要とする。 例...こと、ころ、ものなど
人や物、地名などのものにかわって、そのものを表す名詞。また、この名詞にはおもに二つに分けることができ、人物を表す人代名詞と場所や方角をさす指示代名詞がある。人代名詞は人称代名詞とも言い、指示代名詞の中には人代名詞にも用いられるものもある。 例...そち、こち、そなた、いづれ、そこなど
先程の五個の名刺の種類以外にも反照代名詞というものがある。反照代名詞とは自称、対称、他称の区別がないもののことを指す代名詞のことである。反照代名詞以外の呼び方に再帰代名詞や反射指示代名詞(反射代名詞)とも言う。
源氏物語 桐壺

いづれの御時にか、女御にょうご、更衣こういあまたさぶらひたまひけるなかに、いとやむごとなき際きわにはあらぬが、すぐれて時めきたまふありけり。 はじめより我はと思ひ上がりたまへる御方がた、めざましきものにおとしめ嫉みたまふ。同じほど、それより 下臈げろうの更衣たちは、ましてやすからず。朝夕の宮仕へにつけても、人の心をのみ動かし、恨みを負ふ積もりにやありけむ、いと篤あつしくなりゆき、もの心細げに里がちなるを、いよいよ あかずあはれなるものに思ほして、人のそしりをもえ憚らせたまはず、世のためしにもなりぬべき御もてなしなり。 上達部かむだちめ、上人うえびとなども、あいなく目を側そばめつつ、「いとまばゆき人の御おぼえなり。唐土にも、かかる事の起こりにこそ、世も乱れ、悪しかりけれ」と、やうやう天の下にもあぢきなう、人のもてなやみぐさになりて、楊貴妃の例も引き出でつべくなりゆくに、いとはしたなきこと多かれど、かたじけなき御心ばへのたぐひなきを頼みにてまじらひたまふ。 父の大納言は亡くなりて、母北の方なむいにしへの人のよしあるにて、親うち具し、さしあたりて世のおぼえはなやかなる御方がたにもいたう劣らず、なにごとの儀式をももてなしたまひけれど、とりたててはかばかしき後見しなければ、事ある時は、なほ拠り所なく心細げなり。
Python/OpenCV

OpenCV(Open Source Computer Vision)は、コンピュータビジョンタスクをサポートするオープンソースのライブラリです。
OpenCVの検出機とメソッド例:
1. Haar Cascade 物体検出器:
2. HOG 特徴検出器:
3. ディープラーニングをベースにした物体検出器:
4. SIFT 特徴検出器:
5. ORB 特徴検出器:
6. セマンティックセグメンテーションのモデル:
7. 姿勢推定のモデル:
これらはOpenCVモジュールの一部の機能です。詳細な情報や他の機能については、公式のOpenCVドキュメントを参照してください。
古典文学/古典文法/副詞

副詞とは、主に用言を修飾する品詞で何を表すかで分類すると以下の3つに分けることができる。
主にある物の状態や動作の様子を表す副詞。動詞を含む文によくみられる。擬声語や擬態語もこれに該当する。 例...つひに、まれまれ、ふと、たちまち、など。
主にある物の状態の程度を表す副詞。形容詞や形容動詞を含む文によくみられる。 例...すこし、やや、よに、はなはだ、いと、など。
この副詞が使われたときに、ある決まった表現で返さなければならない副詞。陳述の副詞は、「いかで」のように同じ単語でも口語訳が違ってくる副詞がある。そのため、文脈を読み、呼応する表現を見つけて訳す必要がある。また、陳述の副詞は呼応の副詞とも言う。(例に関しては、分類が複数あるため後記に表にまとめる。)
別の品詞から副詞に転じた副詞が存在する。以下は、その種類である。
・名詞と動詞が組み合わさった副詞
・名詞から転じた副詞
・名詞と動詞と助詞が組み合わさった副詞
陳述の副詞を分類すると以下のようになる。
中学校保健体育/運動と健康

どのような関係が運動と健康にありますか。
運動の効果・運動の必要性・運動習慣・健康づくりのための運動
※どのような効果が運動にありますか?
運動の効果については次の通りです。
※もし、運動習慣を身に付けなかったらどうなりますか?
公共交通機関・インターネット・家電製品・機械・自動車などは現代社会で使いやすくなりました。しかし、外遊び・運動時間が短くなり、体を動かす時間も少なくなりました。そのため、意識して運動しなければ運動不足になってしまいます。運動不足になると、肥満・生活習慣病・動脈硬化などにつながります。また、骨や関節に異常をきたしたり、筋力が低下したり、姿勢がふらついたりします。
したがって、人生を通して健康を維持・向上させていくためには、個人の年齢や生活環境に合わせて、生活の中にも意識して運動習慣を身に付けましょう。
研究結果によると、読解力は運動直後に上がります。そして、運動時間が長い人ほど学力テストの得点も高くなります。
※どんな運動をどのくらい行わなければなりませんか?
健康維持運動は、安全で効果もあり、楽しく行われなければなりません。強すぎる運動は危険です。運動が軽すぎると、ほとんど役に立ちません。また、運動は楽しくなければ長続きしません。このような条件を踏まえて、運動が生活にどのように関わるのかについて考えます。その上で、運動の種類・強さ・時間・頻度を決めて行いましょう。中学生は、特に持久力や筋力を伸ばすために欠かせない時期なので、持久力や筋力を伸ばすような運動を続けなければなりません。ただし、この時期は骨や関節も大きく発達します。無理に鍛え過ぎるとスポーツ障害になるので、注意が必要です。
スポーツ障害の小さな症状としては、運動中の小さな痛み・違和感・フォームの乱れなどが考えられます。このような症状が出たら、少し休んだり、医師の診断を受けたりしましょう。
Python/streamlit

Streamlitは、Pythonで作成されたオープンソースのフレームワークであり、データの可視化やウェブアプリケーションの作成に使用されます。
- シンプルで使いやすいインターフェース - リアルタイムでのコード変更と更新 - データの可視化やインタラクティブな操作のサポート - Pythonのコードと統合しやすい
- `st.write()`:テキストやデータフレームなどの情報を表示します。 - `st.title()`:アプリケーションのタイトルを設定します。 - `st.markdown()`:マークダウン形式のテキストを表示します。 - `st.dataframe()`:データフレームを表示します。
- [公式ドキュメント](https://streamlit.io/) - [Streamlitのりふぁれんんす](https://docs.streamlit.io/library/api-reference)
中学校保健体育/食生活と健康

エネルギー・栄養素・基礎代謝量
※どのような食生活が望ましいですか。
朝起きたら、体温がいつもより下がります。前日の夕食からかなりの時間を経過しているので、エネルギーが不足しています。このような理由から必ず朝食を摂らなくてはなりません。朝食を摂ると体温を上げて、内臓の働きをよくします。また、午前中の活動に必要なエネルギーと栄養素も摂れます。しかし、朝食を摂っても栄養素やエネルギーは、午前中の活動で失います。これを取り戻すために昼食を摂ります。昼食を摂ってから、活動すると体力を消耗して疲れます。夕食も疲れた体力を回復させるために欠かせません。もし、食生活が乱れると、健康に悪影響を与えて、本来の発育や発達を妨げてしまいます。例えば、夜食を摂ると、胃や腸などの消化器に負担がかかります。そのため、翌日の朝食が食べられなくなります。朝食を抜くと、体も脳も上手く働きません。健康の維持・向上を目指すために、生活習慣を整えて、規則正しい食生活を送りましょう。このように、保健体育の教科書では、1日3食を摂らないといけない理由を示しています。しかし、最新の研究では、1日3食を摂る必要はなくて、正解なしと示しています。
※食事は何に気を付けたら大丈夫ですか?
様々な栄養素が食物に含まれています。健康な体をつくる役割が食事にあります。そのため、体に必要な栄養素を食事から取り入れなければなりません。栄養素の働きはそれぞれ違うので、1つの食品から必要な栄養素を全て摂れません。栄養素が足りなかったり、食べ過ぎたりすると体調を崩します。特に中学生になると、体の発育や生理で貧血になってしまいます。貧血にならないためにも、蛋白質や鉄を意識して食べるようにしましょう。したがって、健康的な体を作るために、食事で色々な食品を好き嫌いしないで摂らなければなりません。2013年、「和食」が国連教育科学文化機関の無形文化遺産に選ばれました。
※1日にどれくらいのエネルギーが必要ですか?
何もしなくても、私達の体はエネルギーを必要とします。基礎代謝量は、生命を維持するために最低限必要なエネルギーの消費量を表します。
毎日の総エネルギー消費量は、身体活動量(学習などの生活活動や運動)に基礎代謝量を加えて計算します。
私達は食事から必要なエネルギーを手に入れています。また、体を動かすとエネルギーを消費するので、それを補うために食事を摂らなければなりません。例えば、激しい運動をしたり、体の発育が進んだりしたら、より多くのエネルギーが必要になります。必要なエネルギー量が足りないと、疲れを感じて体重が痩せるかもしれません。特に、若い女性は厳しいダイエットから痩せすぎの人も増えています。反対に、運動不足だと、普通に食事を摂っていてもすぐにエネルギーが余ってしまいます。エネルギーが余ると脂肪として体内に蓄えられます。肥満の原因になるので、生活の中に運動を取り入れていきましょう。このように、年齢や運動量などに合わせて食生活を見直していきましょう。
古典文学/古典文法/動詞/上一段活用

上一段活用とは、イ段の一段に活用する動詞で終止形や連体形は「る」、已然形は「れ」、命令形は「よ」が活用の語形についてくる。
例...着る
(カ行)着る (ナ行)似る・煮る (ハ行)干る(乾る) (マ行)見る (ヤ行)鋳る・射る (ワ行)居る・率る
上一段活用に関しては、種類が少ないのでこの動詞には覚え方がある。覚え方は「ひ・い・ き・に・み・ヰ・る」という覚え方がある。
上一段活用は「試みる」や「率いる」などの複合動詞があるが、複合動詞以外に関しては、語幹との区別がないものが多い。
古典文学/古典文法/動詞/カ行変格活用

カ行変格活用とは、変格活用のうちの一つで連体形は「る」、已然形は「れ」、命令形は「よ」が語形につく。
語...来
動詞...来(一語のみ)
複合動詞...出で来・去り来・詣で来・明け来・見え来・満ち来・参り来・立ち来・追ひ来・行き来・漕ぎ来・出で参で来・帰り詣で来、など。
カ行変格活用については、未然形と命令形はオ段、連用形はイ段、終止形と連体形、已然形はウ段に属する。また、命令形については「こ」と「こよ」があり、平安時代までは「こ」がよく出てき、平安時代以降については「こよ」が使われるようになった。
カ行変格活用については、「来」だけである。なので、「来る」や「来たる」などの四段活用と注意する必要がある。
古典文学/古典文法/動詞/サ行変格活用

サ行変格活用は、変格活用の一つで連体形は「る」、已然形は「れ」、命令形は「よ」が語形につく。
動詞...す・おはす(二語のみ)
複合動詞...奏す・恋す・念ず・物す・案ずなど。
サ行変格活用については、未然形と命令形はエ段、連用形はイ段、終止形と連体形、已然形はウ段に属する。また、サ行変格活用の複合動詞に関しては、名詞や漢語(音読みの漢字)、用言、などにつく。
サ行変格活用の複合動詞は、ずがつくこともある。また、サ行変格活用とサ行下二段活用の活用を比較すると、連用形の違いのみであるので注意する必要がある。
古典文学/古典文法/動詞/ナ行変格活用

ナ行変格活用は、変格活用のうちの一つで連体形に「る」、已然形に「れ」がつく。
語...死ぬ
動詞...死ぬ・往ぬ(去ぬ)(二語のみ)
ナ行変格活用は、未然形にア段、連用形にイ段、終止形と連体形、已然形にウ段、命令形にエ段が属する。また、ナ行変格活用については室町時代あたりから四段活用として、見られるようになる。
「往ぬ」についてはナ行変格活用だが、「寝ぬ」に関してはナ行下二段活用であるので注意が必要である。
古典文学/古典文法/動詞/ラ行変格活用

ラ行変格活用は変格活用のうちの一つである。
動詞...侍り・居り・あり・いますがり(いまそかり) この四語のみ
複合動詞...さり・かかり・しかりなど
ラ行変格活用は、未然形にア段、連用形と終止形にイ段、連体形にウ段、已然形と命令形にエ段が属する。また、ラ行変格活用は、変格活用の中で終止形がイ段に属する活用である。複合動詞は、指示の副詞「さ・かく・しか」がラ変動詞「あり」につき、ラ変複合動詞となる。
ラ行変格活用の動詞「居り」があるが、「居る」というワ行上一段活用の動詞があり似ているため注意が必要である。
高等学校 物理/万有引力

★公転周期Tと軌道長半径α
変形して
g = G M m R 2 m {\displaystyle g={\frac {GMm}{R^{2}m}}}
g = G M R 2 {\displaystyle g={\frac {GM}{R^{2}}}}
●証明
運動方程式(質量×加速度=力)を使って導きます。
人工衛星は地球の周りを回っているので、円運動の加速度(加速度=速度×速度÷半径)になります。
力については、万有引力の公式(力=万有引力定数×大きい方の質量×小さい方の質量÷[距離×距離])を使います。
以上を1つにまとめます。
ここから先はvを求めるために変形します。
移項します。移項すると割り算になりますが、掛け算に直すために逆数にしてみましょう。
約分して
平方根を付けて、
になります。
★証明1
無限等比級数を使います。こちらの方が初学者に分かりやすいかもしれません。
★証明2
一般的な証明をします。面積に関する数学単元(積分)を使うので、難しい証明方法になります。
W = ∫ ∞ r G M m r 2 d r {\displaystyle W=\int _{\infty }^{r}G{\frac {Mm}{r^{2}}}dr}
W = G M m ∫ ∞ r 1 r 2 d r {\displaystyle W=GMm\int _{\infty }^{r}{\frac {1}{r^{2}}}dr}
W = G M m ∫ ∞ r r − 2 d r {\displaystyle W=GMm\int _{\infty }^{r}{r^{-}2}dr}
W = G M m ∫ ∞ r [ 1 − 2 + 1 r − 2 + 1 ] {\displaystyle W=GMm\int _{\infty }^{r}[{\frac {1}{-2+1}}r^{-2+1}]}
W = G M m ∫ ∞ r [ 1 − 1 r − 1 ] {\displaystyle W=GMm\int _{\infty }^{r}[{\frac {1}{-1}}r^{-1}]}
W = G M m ∫ ∞ r [ − 1 r ] {\displaystyle W=GMm\int _{\infty }^{r}[-{\frac {1}{r}}]}
W = G M m ( − 1 r − 0 ) {\displaystyle W=GMm\left(-{\frac {1}{r}}-0\right)}
W = − G M m r {\displaystyle W=-G{\frac {Mm}{r}}}
U = − G M m r {\displaystyle U=-G{\frac {Mm}{r}}}
中学校保健体育/休養・睡眠と健康

睡眠と休養は、私達の健康にどのような影響を与えますか?
疲労・休養・睡眠
※疲労がたまるとどうなりますか?
長期間の学習・運動・作業は疲労を招きます。また、高温・多湿のように活動しにくい環境にいても疲労を招きます。疲労がたまると、正しい判断をしにくくなり、ミスも増え、作業能率も下がります。疲労の種類として、身体的疲労と精神的疲労の2種類があります。激しい運動や激しい作業を長時間続けると、身体的疲労に繋がります。筋肉などの疲れ・眠気・不安・頭痛・肩凝り・目の疲れ・痛みなどは、全て身体的疲労の症状です。長時間考えたり、悩んだりすると、精神的疲労につながります。疲労の感じ方は、学習・運動・作業量・作業効率・周辺環境などに大きく左右され、個人差もあります。
★疲労の現れ方(日本産業衛生学会産業疲労研究会の資料より作成)
現在、仕事や受験勉強などで精神的緊張が続いているので、疲労やストレスがたまりやすくなっています。また、生活習慣の乱れから疲れやすく、ストレスも溜まりやすくなります。休まずに学習・運動・勉強などを続けると疲労がたまります。そして、体の抵抗力が低下して、病気になりやすくなります。また、高血圧・心臓病・脳卒中・胃潰瘍・鬱病などの健康障害につながりやすくなります。鬱病では、中々寝付けなかったり、一日中気分が落ち込んだりします。ここ数年、鬱病のような気分障害の患者は増加しています。また、集中力や判断力が失われ、重大な事故に繋がりやすくなります。
※休養・睡眠はどのように取りますか?
心や体の疲労を回復させるために、しっかり睡眠をとりましょう。人によって睡眠時間は違います。例えば、15歳から17歳を中心に、2日間の起床時間を通常より3時間遅くすると、体内時計が45分遅れます。また、睡眠不足と思う人の数を調べると、40代では3人に1人が睡眠不足と感じています。このように、日中あまり眠くならず、朝、気持ちよく目覚めるように睡眠時間をしっかりとっておきましょう。そして、休日でも変わらない生活を送るように心がけましょう。
睡眠の役割としては、次の通りです。
★よく眠るための知恵(厚生労働省)
そこで、睡眠をしっかりとるための工夫を紹介します。
★眠りやすい生活習慣(文部科学省)
睡眠とともに、しっかりと休養を取りましょう。休養は体や心の疲労を回復したり、緊張状態を和らげたり、元気を取り戻すために重要です。入浴や軽い運動をして血行を良くしたり、ただ楽しんだりするのが休養の取り方です。
健康を保ち、向上させるため、個人の年齢・生活環境などに合わせて、休養や睡眠をきちんととらなければなりません。中学生は体も心もまだ成長中なので、大人よりも多くの睡眠をとらなければなりません。
また、快適な休養と睡眠の方法を見つけましょう。
刑法第183条

(淫行勧誘)
第182条「16歳未満の者に対する面会要求等罪」の新設により、従来第182条で規定されていた淫行勧誘罪が本条に移動となった。なお、2022年改正により「懲役」を「拘禁刑」とするものである(施行日2025年6月1日)。
改正前は以下の条項(姦通罪)が規定されていたが、1947年の改正で削除、以後2023年改正まで空番。
高等学校国語表現/小論文とは何か

何を思い、何を感じ、何を好み、何を好まないのかを記入するのは感想です。賛成なのか反対なのか、問いかけに対してどのように答えるのかなど、理由がはっきりすれば意見となります。
小論文を書く時、自分の意見を上手く伝えなければなりません。
★構成メモ
Python/Gensim

Gensim(ジェンシム)は、Pythonで利用できるオープンソースの自然言語処理(NLP)ライブラリであり、特にトピックモデリングやテキスト類似度の計算などの機能に特化しています。Gensimは、効率的に大規模なテキストデータを処理できるように設計されており、テキストの意味をベクトル表現に変換し、それを使って様々なタスクを実行することができます。
GensimはWord2Vecアルゴリズムを実装しており、テキストコーパスから単語の分散表現(word embeddings)を学習できます。これにより、単語の意味や関連性をベクトルとして表現し、文書や単語の類似度を計算することが可能になります。
Word2Vecの拡張版として、GensimはDoc2Vecもサポートしています。Doc2Vecは、文書全体の分散表現を学習し、文書レベルの類似度計算に利用されます。
GensimはLDAアルゴリズムを実装しており、テキストコーパスからトピックモデルを学習できます。LDAは、文書のトピック構造を抽出するために広く用いられる手法です。
Gensimは、TF-IDF(Term Frequency-Inverse Document Frequency)を計算するためのツールも提供しています。TF-IDFは、文書内での単語の重要性を計算するために使用されます。
Gensimは、文書の類似度を計算するための機能を提供します。Word2VecやDoc2Vecなどで学習された分散表現を利用して、文書間の意味的な類似性を評価することができます。
Gensimは、FastTextモデルもサポートしています。FastTextは、subword情報を考慮した高速な単語の分散表現を学習する手法です。
コードは未検証です。検証&修正してくれる方を募集しています
これらのコード例は、Gensimの基本的な機能を示しています。Gensimは様々なNLPタスクに利用できる豊富な機能を提供しており、詳細な使用方法については公式ドキュメントを参照することをおすすめします。
Python/SciPy

SciPy(サイパイ)は、Pythonの数値計算・科学技術計算ライブラリであり、高度な数学関数やアルゴリズムの実装を提供します。NumPy(Numerical Python)を基盤としており、NumPyの多次元配列機能を利用しています。SciPyは、科学技術分野でよく使われる線形代数、統計、最適化、信号処理、画像処理、積分、微分方程式などの機能を提供しており、科学技術計算に欠かせない重要なツールとして広く利用されています。

SciPyは、行列の演算や線形方程式の解法、固有値・固有ベクトルの計算など、線形代数の機能を提供します。
SciPyは、最適化問題の解法を提供します。最小化や最大化の問題を解く際に、多くの最適化アルゴリズムを利用できます。
SciPyは、統計的な計算や確率分布の関数、仮説検定など、統計学に関する機能を提供します。
SciPyは、信号処理に関するフィルタリング、フーリエ変換、ウェーブレット変換などの機能を提供します。
SciPyは、画像処理に関連する機能を提供します。画像の読み込み、フィルタリング、エッジ検出などがサポートされています。
SciPyは、数値積分の機能を提供します。数式の積分を数値的に計算する際に利用されます。
SciPyは、常微分方程式や偏微分方程式を解くための機能を提供します。科学技術計算において、物理現象や数理モデルのシミュレーションに利用されます。
SciPyには、GUIプログラムの作成に役立つ機能も含まれています。
SciPyは、多様な科学技術計算に必要な機能を提供しており、その他にも多くのモジュールや関数が利用できます。
これらのコード例は、Python/SciPyの主な機能を示しています。SciPyは数値計算や科学技術計算において非常に強力なライブラリであり、様々な科学技術分野で広く活用されています。詳細な使い方や関数の詳細については、公式ドキュメントを参照することをおすすめします。
Python/pytest

pytest(パイテスト)は、Pythonのテストフレームワークであり、標準ライブラリのunittestよりもシンプルで使いやすいテストツールとして広く利用されています。pytestは、テストの自動検出、豊富なアサーション(検証)機能、パラメータ化テスト、並列実行などの機能を提供しています。また、サードパーティ製の拡張プラグインを利用して、さらなる機能の拡張も可能です。
1. 自動検出: pytestは、テストを自動的に検出して実行します。テストファイルやテストメソッドの命名規則に従っていれば、追加の設定なしでテストを実行することができます。
2. アサーション: pytestは、標準のアサーションだけでなく、さまざまなカスタムアサーションを提供します。テスト結果の検証に便利なアサーションを多く備えているため、テストの記述がシンプルになります。
3. パラメータ化テスト: pytestでは、同じテストメソッドを複数のパラメータで実行することができます。これにより、同じテストロジックを複数の入力データに対して繰り返し適用してテストを実行できます。
4. 並列実行: pytestは、複数のテストを並列実行することができます。これにより、テストの実行時間を短縮することができます。
5. フィクスチャ: pytestでは、テストメソッドに前処理や後処理を追加するためのフィクスチャを定義することができます。フィクスチャは、テストの状態を設定したり、リソースを確保したりするのに役立ちます。
これらのコード例は、pytestの基本的な機能を示しています。pytestはシンプルで直感的なテストフレームワークであり、Pythonのテストコードをより効果的に書くことができます。テスト駆動開発(TDD)やテスト自動化において広く活用されています。詳細な使い方や機能については、公式ドキュメントを参照することをおすすめします。
Python/Scrapy

Scrapy(スクレイピー)は、Pythonで利用できるオープンソースのWebスクレイピング(Webクローリング)フレームワークであり、ウェブサイトからデータを収集するための高度なツールです。Scrapyは、ウェブサイトのページを自動的にダウンロードし、指定したデータを抽出して保存することができます。Scrapyは、高度なスクレイピングタスクを効率的に実行するために設計されており、非常に大きなスケーラビリティを持ち、さまざまなWebサイトからのデータ収集に利用されています。
1. データの抽出: Scrapyは、XPathやCSSセレクタを使用して、HTMLやXMLからデータを抽出することができます。また、正規表現を使ったデータの抽出もサポートされています。
2. 自動化: Scrapyは、スパイダー(Spider)と呼ばれる自動化されたクローラーを定義することができます。スパイダーは、ウェブサイトの構造を定義し、指定されたデータを収集します。
3. パイプライン: Scrapyは、収集したデータを指定された形式(CSV、JSON、XMLなど)で保存するためのパイプラインを提供します。
4. ミドルウェア: Scrapyは、リクエストやレスポンスを処理するための拡張性のあるミドルウェアをサポートしています。これにより、HTTPヘッダのカスタマイズやプロキシの設定などが可能です。
5. ダウンロード制御: Scrapyは、ダウンロードの速度制御や並列ダウンロード、リトライ設定など、ダウンロードの制御を細かく設定することができます。
これらのコード例は、Scrapyの基本的な機能を示しています。Scrapyは、高度なWebスクレイピングタスクを効率的に実行するための強力なフレームワークであり、データ収集やウェブスクレイピングの自動化に役立ちます。詳細な使い方や機能については、公式ドキュメントを参照することをおすすめします。
Python/PyQt

PyQt(パイクューティ)は、Pythonで利用できるQtフレームワークのラッパーライブラリであり、GUIアプリケーションの開発をサポートします。Qtは、C++で開発されたマルチプラットフォームのアプリケーションフレームワークであり、PyQtを使用することでPythonからQtの機能を利用することができます。PyQtは、Qtの全ての機能にアクセスできる強力なツールキットであり、デスクトップアプリケーションやグラフィカルなユーザーインターフェースを持つアプリケーションの開発に広く利用されています。
1. GUIアプリケーション開発: PyQtは、Qtの各種ウィジェットを利用してGUIアプリケーションを開発するためのモジュールを提供します。ウィンドウ、ボタン、テキストボックス、テーブルなどの各種ウィジェットを組み合わせて、グラフィカルなユーザーインターフェースを簡単に構築できます。
2. イベント処理: PyQtは、ユーザーからのイベント(ボタンクリックなど)を処理するための仕組みを提供します。イベントに対するコールバック関数を定義することで、ユーザーの操作に応じてアプリケーションの動作を制御できます。
3. グラフィックスとアニメーション: PyQtは、2Dおよび3Dグラフィックスをサポートしており、グラフィックスプログラムを簡単に作成することができます。また、アニメーション機能も提供されており、アプリケーションに動きや効果を追加することが可能です。
4. データベースアクセス: PyQtは、データベースとの連携をサポートしており、SQLiteやMySQLなどのデータベースに対してデータの読み書きを行うことができます。
PyQtはpipコマンドを使用して簡単にインストールすることができます。以下のコマンドを実行してください:
Python/NLTK

NLTK(Natural Language Toolkit)は、Pythonで利用できる自然言語処理(NLP)のためのオープンソースライブラリです。NLTKは、テキストデータの前処理、形態素解析、構文解析、意味解析、言語モデルなどのNLPタスクをサポートし、多くの機能を提供しています。NLTKは、自然言語の解析や処理を簡単に行えるように設計されており、教育・研究・産業界などで幅広く利用されています。
1. テキスト前処理: NLTKは、テキストデータを前処理するための機能を提供します。テキストのトークン化(単語や文に分割)、ストップワードの削除、ステミング(単語の原形化)、正規化などの処理を簡単に実行できます。
2. 形態素解析: NLTKは、テキストデータを形態素(意味を持つ最小単位)に分割するための機能を提供します。形態素解析により、単語の品詞や原形を抽出することができます。
3. 構文解析: NLTKは、文やフレーズの構文構造を解析するための機能を提供します。構文解析により、文法的な関係を抽出して文の意味を理解することができます。
4. 意味解析: NLTKは、テキストの意味を解析するための機能を提供します。意味解析により、単語や文の意味を理解し、意味的な関係を抽出することができます。
5. 言語モデル: NLTKは、テキストデータを基にした言語モデルの構築や評価を行うための機能を提供します。言語モデルにより、文章の生成や自然言語生成タスクを行うことができます。
NLTKはpipコマンドを使用して簡単にインストールすることができます。以下のコマンドを実行してください: pip install nltk
また、NLTKの機能を利用するには、NLTKコーパスをダウンロードする必要がある場合があります。例えば、以下のコマンドを実行して英語のコーパスをダウンロードできます:
Python/NetworkX

NetworkXは、Pythonで利用できるオープンソースのネットワーク分析ライブラリであり、グラフ理論やネットワークの解析をサポートします。NetworkXは、ノード(Node)とエッジ(Edge)から成るグラフ(Graph)を作成し、ネットワークの構造や特性を調査するためのツールを提供しています。ネットワークの解析や可視化、ネットワークアルゴリズムの実行など、さまざまなネットワーク関連のタスクに利用されています。
1. グラフの作成: NetworkXは、無向グラフや有向グラフ、重み付きグラフなどさまざまなタイプのグラフを作成する機能を提供します。また、多重グラフ(複数のエッジが同じ2つのノードを結ぶグラフ)もサポートしています。
2. グラフの操作: NetworkXは、グラフにノードやエッジを追加・削除したり、グラフの特性を調査したりするための操作を提供します。ネットワークの構造を柔軟に変更できます。
3. グラフの解析: NetworkXは、グラフの特性や統計量を計算するためのツールを提供します。例えば、ノードの次数(Degree)、最短経路(Shortest Path)、クラスタリング係数(Clustering Coefficient)などを計算できます。
4. ネットワークの可視化: NetworkXは、グラフの可視化をサポートしており、Matplotlibなどのライブラリを使用してグラフを描画することができます。
5. ネットワークアルゴリズム: NetworkXは、さまざまなネットワークアルゴリズムを提供しています。例えば、グラフの中心性(Centrality)や連結成分(Connected Components)を計算するアルゴリズムがあります。
NetworkXはpipコマンドを使用して簡単にインストールすることができます。以下のコマンドを実行してください: pip install networkx
Python/Seaborn

Seaborn(シーボーン)は、Pythonで利用できるデータ可視化のためのオープンソースライブラリであり、特に統計データの可視化に特化しています。Seabornは、Matplotlibをベースにしており、Matplotlibの機能を拡張し、美しいグラフを簡単に作成することができます。Seabornは統計プロットやカテゴリプロットなどの高度な可視化を提供し、データの傾向やパターンを視覚的に理解するのに役立ちます。
1. 統計プロット: Seabornは、統計データの可視化に特化したグラフを作成する機能を提供します。例えば、散布図、ヒストグラム、箱ひげ図、バイオリンプロットなどがあります。
2. カテゴリプロット: Seabornは、カテゴリデータの可視化に特化したグラフを作成する機能を提供します。例えば、棒グラフ、帯グラフ、ポイントプロットなどがあります。
3. 色の管理: Seabornは、色の管理に優れており、データの異なる側面を強調するためのカラーパレットを提供します。
4. スタイルのカスタマイズ: Seabornは、グラフのスタイルを簡単にカスタマイズできる機能を提供します。デフォルトのスタイルだけでなく、カスタムスタイルを適用することも可能です。
この例では、sns.lineplot関数を使用して折れ線グラフを作成しています。color引数を使用して、折れ線の色を指定しています。'purple'のような色名を指定するか、RGB値やHEXコードを指定することもできます。Seabornでは、デフォルトでいくつかの美しいカラーパレットが用意されており、適切な色を自動的に選択してくれることが特徴です。

Seabornはpipコマンドを使用して簡単にインストールすることができます。以下のコマンドを実行してください: pip install seaborn
Python/Panda3D

Panda3Dは、Pythonで利用できるオープンソースの3Dゲームエンジンであり、主に3Dアプリケーションやゲームの開発に使用されます。Panda3Dは強力なグラフィックスパイプラインを提供し、高度な3Dレンダリングとアニメーションをサポートしています。また、物理エンジンや音響エンジンなどの機能も組み込まれており、多くの3Dアプリケーション開発者に広く利用されています。
1. 3Dレンダリング: Panda3Dは、高品質な3Dレンダリングを実現するための機能を提供します。3Dモデルの描画やテクスチャの適用、ライティング、シャドウなどをサポートしています。
2. アニメーション: Panda3Dは、3Dアニメーションの作成と制御をサポートしています。キーフレームアニメーションや骨格アニメーションなどが可能です。
3. 物理エンジン: Panda3Dには物理エンジンが組み込まれており、物体の運動や衝突検知などの物理シミュレーションを行うことができます。
4. 音響エンジン: Panda3Dは音響エンジンも備えており、3Dサウンドの再生やエフェクトの適用が可能です。
5. クロスプラットフォーム: Panda3Dはクロスプラットフォーム対応であり、Windows、macOS、Linuxなどのさまざまなオペレーティングシステムで動作します。
ここだけの話ですが、コードの検証はまだですのでだれかお願いします。
Panda3Dはpipコマンドを使用して簡単にインストールすることができます。以下のコマンドを実行してください:
Python/Godot Engine

Godot Engine(ゴドー エンジン)は、Pythonを含む複数のスクリプト言語に対応したオープンソースの2Dおよび3Dゲームエンジンです。Godot Engineは、ゲーム開発者に向けて豊富な機能を提供し、直感的で使いやすいインターフェースを備えています。Pythonを使用してスクリプトを記述することで、ゲームオブジェクトの制御、シーンの管理、アニメーションの制御などを行うことができます。 ここに置いたはいいんですが、ライブラリーではありません。 ご注意ください。
1. シーンベースのゲーム開発: Godot Engineはシーンベースのゲーム開発をサポートしており、シーン間のトランジションやオブジェクトの配置などを簡単に行うことができます。
2. ノードとコンポーネント: Godot Engineでは、ノードとコンポーネントの概念を使用してゲームオブジェクトを作成します。ノードはゲームオブジェクトの基本要素であり、コンポーネントは振る舞いを定義します。
3. 2Dおよび3Dレンダリング: Godot Engineは2Dおよび3Dのレンダリングをサポートしており、高品質なグラフィックスを実現します。
4. アニメーション: Godot Engineでは、キーフレームアニメーションや骨格アニメーションをサポートしています。アニメーションエディタを使用してアニメーションを作成・管理できます。
5. 物理シミュレーション: Godot Engineには物理エンジンが組み込まれており、物体の運動や衝突検知などの物理シミュレーションを行うことができます。
Godot Engineは公式ウェブサイトからダウンロードして利用できます。以下の手順に従ってインストールしてください:
1. 公式ウェブサイト(https://godotengine.org/)にアクセスします。 2. ダウンロードページから使用するオペレーティングシステム向けのバージョンを選択します(Windows、macOS、Linuxなど)。 3. ダウンロードしたインストーラを実行してGodot Engineをインストールします。
インストールが完了すると、Godot Engineを起動してPythonスクリプトを使用してゲーム開発を始めることができます。
Python/Ursina

Ursinaは、Pythonで利用できるオープンソースのゲームエンジンであり、特に3Dゲームの開発に特化しています。Ursinaはシンプルで直感的なAPIを提供し、初心者からプロのゲーム開発者まで幅広いユーザーに使いやすい環境を提供します。Pythonの基本的な知識があれば、誰でも簡単にゲームを作成することができます。
1. 3Dレンダリング: Ursinaは3Dレンダリングをサポートし、高品質なグラフィックスを実現します。3Dモデルの読み込みやテクスチャの適用、ライティング、シャドウなどの機能が備わっています。
2. アニメーション: Ursinaはアニメーションの作成と制御をサポートしており、オブジェクトの移動や回転などを簡単に実現することができます。
3. ユーザーインターフェース: Ursinaにはユーザーインターフェースの作成を補助する機能があり、ボタン、テキスト、イメージなどのUI要素を簡単に追加することができます。
4. 物理エンジン: Ursinaには物理エンジンが組み込まれており、物体の運動や衝突検知などの物理シミュレーションを行うことができます。
5. クロスプラットフォーム: Ursinaはクロスプラットフォーム対応であり、Windows、macOS、Linuxなどのオペレーティングシステムで動作します。
コードは検証されていません。問題があれば修正をお願いします。
Ursinaはpipコマンドを使用して簡単にインストールすることができます。以下のコマンドを実行してください:
Python/Celery

Celery(セロリー)は、Pythonで利用できるオープンソースの分散タスクキューライブラリです。Celeryは非同期処理をサポートし、タスクを非同期に実行することで、Webアプリケーションやバックエンドの処理を効率的に分散させることができます。Celeryは、タスクのスケジューリング、タスクの状態管理、タスクの優先度付けなどの機能を提供します。さらに、Celeryは他のツールと組み合わせて使用することができ、大規模なプロジェクトやリアルタイム処理に適したツールとして広く利用されています。
1. 分散タスクの管理: Celeryはタスクキューを使用して分散タスクの管理を行います。タスクは非同期に実行され、タスクの進行状況を監視することができます。
2. スケジューリング: Celeryはタスクの実行をスケジュールする機能を提供します。特定の日時や間隔でタスクを実行することができます。
3. ワーカー: Celeryはタスクの実行を担当するワーカーを複数起動できます。これにより、タスクの処理を並列化し、高いスループットを実現します。
4. タスクのリトライ: Celeryはタスクの実行に失敗した場合にリトライを行う機能をサポートしています。タスクが成功するまで自動的にリトライを繰り返すことができます。
5. タスクの優先度付け: Celeryはタスクの優先度付けを行うことができます。重要なタスクを優先的に実行することができます。
コードは未検証です。問題があれば修正お願いします、
Celeryはpipコマンドを使用して簡単にインストールすることができます。以下のコマンドを実行してください:
pip install celery
小学校国語/おおきな かぶ

削除依頼中
当ページ「小学校国語/おおきな かぶ」の削除依頼が提出されています。今後当ページに加えられた編集は無駄となる可能性がありますのでご注意頂くとともに、削除の方針に基づき削除の可否に関する議論への参加をお願いします。なお、依頼の理由等については削除依頼の該当する節やこのページのトークページなどをご覧ください。
あらすじ:むかしむかしのこと。
おじいさんが、かぶのたねをうえました。
「おおきくなぁれ、あまくなぁれ」
かぶはぐんぐん育っていきます。 なんと、おじいさんよりもおおきくなりました。
おじいさんはびっくりしましたが、 よぉし! と、かぶを抜くことにしました。
「よいしょ、よいしょ......」
ところが、かぶはビクともしません。
その様子をみて、おばあさんがたすけにきてくれました。
おじいさんとおばあさんが、ふたりでかぶを引っぱりはじめます。
「よいしょ、よいしょ......」
それでもかぶは抜けません。
その様子をみて、孫(まご)がたすけにきてくれました。
おじいさんとおばあさん、孫のさんにんでかぶを引っぱりはじめます。
「よいしょ、よいしょ......」
それでもかぶは、ぜんぜん、抜けません。
その様子をみて、犬がたすけにきてくれました。
おじいさん、おばあさん、孫と、犬。 さんにんといっぴきで、かぶを引っぱりはじめます。
「よいしょ、よいしょ......」
けれどもかぶは、これっぽっちも抜けません。
その様子をみて、ねこがたすけにきてくれました。
おじいさん、おばあさん、孫、犬と、ねこ。 さんにんとにひきで、かぶを引っぱりはじめます。
「よいしょ、よいしょ......」
それなのにかぶは、どうやっても抜けません。
その様子をみて、ねずみがたすけにきてくれました。
おじいさん、おばあさん、孫、犬、ねこと、ねずみ。 さんにんとさんびきで、かぶを引っぱりはじめます。
「よいしょ、よいしょ......」
そのときです。
すぽーん!
おおきな音をたてて、とうとうかぶが抜けました!
みんなはおおよろこび。
「今夜はかぶのスープにしよう!」
あまくておいしいかぶのスープを、みんなでなかよく食べました。
めでたし、めでたし。