押野便り

【%M0】: 「ブログの教材で学ぶＭＡＴＨ（□）」/*〔一括表示 〕*/ 《The top of this file》******************************************* 《The top of this list》******************************************* %M1:自然数の加減算(減加法) %M2:命題論理(背理法) %M3:簡易乗算法(乗数が１桁の乗算) %M4:分数の四則演算(交換・結合・分配) %M5:正多面体(ユークリッド空間) %M6:順列と組み合わせ(確率) %M7:二次方程式(複素数・三角関数) %M8:方程式と不等式(∀と∃・半順序) %M9:帰納と演繹(数学的帰納法・原始関数) %M10:(高校で学んだ数学の復習と進展) %M11:行列と行列式 %M12:微分方程式(差分方程式・ 解析接続 ) %M13:述語論理(不完全性定理・ 二階述語論理 ) *****************************************《The bottom of this list》 【%M13】: 「ブログの教材で学ぶＭＡＴＨ（１３）」/*〔述語論理〕*/ `▼ ---------------------------------------------------------------------- ⑬:参考資料 ⑬.1:「 https://ja.wikipedia.org/wiki/述語論理 」 　　:「 https://ja.wikipedia.org/wiki/一階述語論理 」 　　:「 https://ja.wikipedia.org/wiki/二階述語論理 」 　・:一階述語論理自体も命題論理を拡張したものである。 　・:二階述語論理もさらに高階述語論理や型理論に拡張される。 ⑬.2:「 https://ja.wikipedia.org/wiki/ゲーデルの不完全性定理 」からの引用 `▽ ------------------------------------------------------------ 不完全性定理とは、数学基礎論[1]とコンピュータ科学（計算機科学）の重要な基本定理。 （数学基礎論は数理論理学や超数学とほぼ同義な分野で、コンピュータ科学...

【%N3E】: 「Tiny_Python試用録(□)」の紹介 Tiny_Python試用録（９） https://www.blogger.com/blog/post/edit/6859150935899261916/4884706954617401594 Tiny_Python試用録（８） https://www.blogger.com/blog/post/edit/6859150935899261916/5416409698432527843 Tiny_Python試用録（７） https://www.blogger.com/blog/post/edit/6859150935899261916/2463065428668505071 Tiny_Python試用録（６） https://www.blogger.com/blog/post/edit/6859150935899261916/9087668611124546370 Tiny_Python試用録（５） https://www.blogger.com/blog/post/edit/6859150935899261916/6361031757939814839 Tiny_Python試用録（４） https://www.blogger.com/blog/post/edit/6859150935899261916/4329240117289879796 Tiny_Python試用録（３） https://www.blogger.com/blog/post/edit/6859150935899261916/5668532837327489797 Tiny_Python試用録（２） https://www.blogger.com/blog/post/edit/6859150935899261916/2004851672302107464 Tiny_Python試用録（１） https://www.blogger.com/blog/post/edit/6859150935899261916/7220686565518261112

【_%N5P4'】: 白山手取川、世界ジオパークに認定 「 https://www.hokkoku.co.jp/articles/tym/1077948 」 【_%N4N】: 「腹部大動脈瘤に新手術」/*〔「 金沢医科大学 」〕*/ 「 https://www.hokkoku.co.jp/articles/-/1050050 」 【_%N45】 :馳知事が海外出張 「 https://news.ntv.co.jp/nnn/103wsfjdnstjgl6jxe7 」 【_%N41】: 石川県議選挙　告示 「 https://www.hokkoku.co.jp/articles/-/1027914 」 【.N3O】: 中村がアマ横綱に 「 https://www.hokkoku.co.jp/articles/-/1022413 」 【%M3A】:WCB : 「 https://news.ibc.co.jp/item_50221.html 」 【%N38】： 白山市市長が入院　北國新聞 「 https://www.hokkoku.co.jp/articles/-/1007066 」 【%N36】:第９９代・菅義偉氏　派閥の意向より自分の意思 「 https://www.hokkoku.co.jp/articles/-/1005832 」 ・ 渋谷の東急百貨店本店、31日閉店　55年の歴史に幕 「 https://www.nikkei.com/article/DGXZQOUC3055S0Q3A130C2000000/ 」 【_%N43】: 「総理は語る」 「 https://www.hokkoku.co.jp/articles/-/1031538 」 ・

%topics(2023 春) 【.%641】: 藤井聡太王将が名人戦制し将棋界の頂点に 「 https://twitter.com/livedoornews/status/1664208987146039297 」 【_%N5U】: 岸田首相が長男を更迭 「https://news.livedoor.com/topics/detail/24330007/」 【_%N5J】: ゼレンスキー氏、広島Ｇ７出席へ 「 https://jp.reuters.com/article/idJP2023051901000691 」 ・各国首脳は岸田首相を重視していない【？】 「PRESIDENT誌」は「飯島氏」に寄稿を依頼しなくなった。 ・首相の最後の支援者が退任【？ 】 【_%N5P4'】: 「 https://sakurada.co.jp/大慶 」(大吟醸)が入荷。/*〔 震災支援！ 〕*/ 【_%N5J】: G7首脳、原爆資料館を訪問 「 https://www.nikkei.com/article/DGXZQOUA15BIJ0V10C23A5000000/ 」 【_%N5G】: 「総理は語る(１０)」 「 https://www.hokkoku.co.jp/articles/tym/1068947 」 【.%M54】: ロシア大統領府を無人機が攻撃 https://news.yahoo.co.jp/articles/9fea23d7b26c7d429ddbbb15d70b423edf82b1b7 【_%N4L】: 潰瘍性大腸炎で新治療 「 https://www.hokkoku.co.jp/articles/-/1047134 」 【_%N4B】 今朝の新聞で初めて知りました 「 https://www.hokkoku.co.jp/articles/-/1038616 」 【.%KAD】: 「 hinotori 」は、巨人「ダヴィンチ」を凌げるか？ 「 https://project.nikkeibp.co.jp/behealth/atcl/feature/00019/101200012/ 」 【.%N51】: 北國新聞　総理は語る（９） 「 https://www.hokkoku.co.jp/articles/-/1044425 」 【.%N47】: 陸自ヘリ不...