はてなキーワード: 理学とは
フェミニズムの分類が多すぎると聞いて
記述集合論(Borel階層, Projective階層, 汎加法族)
モデル理論(型空間, o-極小, NIP, ステーブル理論)
再帰理論/計算可能性(チューリング度, 0′, 相対計算可能性)
構成主義, 直観主義, ユニバース問題, ホモトピー型理論(HoTT)
体論・ガロア理論
表現論
K-理論
初等数論(合同, 既約性判定, 二次剰余)
解析数論(ゼータ/ L-関数, 素数定理, サークル法, 篩法)
p進数論(p進解析, Iwasawa理論, Hodge–Tate)
超越論(リンドマン–ヴァイエルシュトラス, ベーカー理論)
実解析
多変数(Hartogs現象, 凸性, several complex variables)
関数解析
バナッハ/ヒルベルト空間, スペクトル理論, C*代数, von Neumann代数
フーリエ解析, Littlewood–Paley理論, 擬微分作用素
確率解析
マルチンゲール, 伊藤積分, SDE, ギルサノフ, 反射原理
常微分方程式(ODE)
偏微分方程式(PDE)
非線形PDE(Navier–Stokes, NLS, KdV, Allen–Cahn)
幾何解析
リッチ流, 平均曲率流, ヤン–ミルズ, モノポール・インスタントン
エルゴード理論(Birkhoff, Pesin), カオス, シンボリック力学
点集合位相, ホモトピー・ホモロジー, 基本群, スペクトル系列
4次元トポロジー(Donaldson/Seiberg–Witten理論)
複素/ケーラー幾何(Calabi–Yau, Hodge理論)
スキーム, 層・層係数コホモロジー, 変形理論, モジュライ空間
多面体, Helly/Carathéodory, 幾何的極値問題
ランダムグラフ/確率的方法(Erdős–Rényi, nibble法)
加法的組合せ論(Freiman, サムセット, Gowersノルム)
彩色, マッチング, マイナー理論(Robertson–Seymour)
列・順序・格子(部分順序集合, モビウス反転)
測度確率, 極限定理, Lévy過程, Markov過程, 大偏差
統計学
ノンパラメトリック(カーネル法, スプライン, ブーストラップ)
実験計画/サーベイ, 因果推論(IV, PS, DiD, SCM)
時系列(ARIMA, 状態空間, Kalman/粒子フィルタ)
二次計画, 円錐計画(SOCP, SDP), 双対性, KKT
非凸最適化
離散最適化
整数計画, ネットワークフロー, マトロイド, 近似アルゴリズム
Littleの法則, 重み付き遅延, M/M/1, Jackson網
常微分方程式の数値解法(Runge–Kutta, 構造保存)
エントロピー, 符号化(誤り訂正, LDPC, Polar), レート歪み
公開鍵(RSA, 楕円曲線, LWE/格子), 証明可能安全性, MPC/ゼロ知識
計算複雑性
機械学習の数理
量子場の数理
相転移, くりこみ, Ising/Potts, 大偏差
数理生物学
数理神経科学
無裁定, 確率ボラ, リスク測度, 最適ヘッジ, 高頻度データ
データ解析
■Gemini版 | https://anond.hatelabo.jp/20251011145135 |
■Grok版 | https://anond.hatelabo.jp/20251011152248 |
本庄知史 (立憲民主党) | 適性80% | 立憲民主党の参院議員で、党政策調査会にも名を連ねる政策通です。党公認の元財務官僚で調整力があり、官房長官に必要な政府説明能力とコーディネート力が高いと見られます。非公式ながら報道への発信実績もあり、緊急時の危機管理対応にも長けています。 |
塩村あやか (立憲民主党) | 適性75% | 参院議員(東京選挙区)で元東京都議。LGBTや一人親支援など小声を代弁する政治スタイルで国民への情報発信力に定評があります。過去に党の内閣府担当政務官も経験し、広報戦略や政策調整に精通している点から、官房長官として政府と国民の橋渡し役を担う能力があります。 |
稲富修二 (立憲民主党) | 適性80% | 元丸紅勤務で、コロンビア大学国際公共政策修士号を取得した経済専門家です。党の財金政策PT座長・筆頭理事も歴任しており、経済金融分野での知見が豊富。アナリスト経験を活かして国際金融に強い点が評価され、財務大臣としての実務能力は高いと考えられます。 |
足立康史 (国民民主党) | 適性75% | 元経済産業省官僚で、MITI(現経産省)在勤のキャリアが21年にわたります。米コロンビア大学国際公共政策修士号も取得しており、経済財政への深い理解があります。財政政策や税制論議で積極的に発言しており、その財務知識と行政経験から財務大臣の職務にかなり適しています。 |
山花郁夫 (立憲民主党) | 適性80% | 元法務副大臣で、立憲の憲法審査会会長代理でもあり行政全般に詳しいベテラン議員です。総務委員会にも在籍し地方自治や選挙管理、デジタル行政など総務省領域に関連した質疑実績があります。行政改革や地方分権にも関わってきたことから、総務省を統括する力量に優れています。 |
(該当候補者の確たる情報が公表されておらず省略) – | 適性(情報なし): | 他党の候補者情報は入手困難のため、ここでは示せません。 |
黒岩宇洋 (立憲民主党) | 適性85% | 元参議院議員で現衆院議員。法学部中退ながら法務委員会筆頭理事として積極的に司法制度改革に取り組み、選択的夫婦別姓導入など憲法論議でも中心的役割を果たしています。拉致問題・人権擁護にも造詣が深く、法曹資格はないものの法曹や司法行政に精通した法務通として、法相の職務能力は高いと評価されます。 |
小池晃 (日本共産党) | 適性70% | 日本共産党の参院議員団書記局長で、理学博士出身の医師です。法学教育は受けていませんが、党の政策責任者として憲法改正阻止や公文書管理法批判など法的論点にも精通しています。人権・消費者問題で力強く議論する立場から、批判的野党としての監視能力は高く、法務行政に対する監督役として活躍できる適性があります。 |
源馬謙太郎 (立憲民主党) | 適性90% | 鎌倉市議や静岡県議など地方議会出身で、米国American University大学院で国際平和学を学んだ国際派議員です。党外交推進本部事務局長や外務委員会筆頭理事も務め、国際協力・拉致問題にも携わるなど対外経験が豊富である点から、外務大臣に高い適正があります |
深作ヘスス (国民民主党) | 適性75% | ペルー生まれの国際派で、日米両国での勤務経験があります。外務省米国大使館勤務、米連邦議会下院議員の外交政策担当スタッフ経験があり、英語力も堪能です。若手ですが外交実務に直結するキャリアがあり、外務省政策立案の知見も期待できるため、外務大臣候補として一定の適性を見込めます。 |
荒井優 (立憲民主党) | 適性85% | 学校法人の副理事長・校長を歴任した教育実務家です。複数の学校経営に携わる傍ら、若者支援本部で副本部長も務めており、教育現場や学習環境に精通。教育行政の課題をよく理解し、子ども・若者政策にも取り組んできた点から文科相として高い専門性を持っています。 |
辻元清美 (社会民主党) | 適性70% | 早稲田大学教育学部卒で、学生時代に教育NGO「ピースボート」を創設した経歴があります。副党首として政党運営の経験も豊富で、女性教育・環境教育などでも発言実績があります。教育分野の政策提言は少ないものの、教育学部出身で国際交流のNGO運営経験があり、文科相としての基本的な知識と熱意はある人物です。 |
小西洋之 (立憲民主党) | 適性80% | 医師であり、厚生労働問題を専門とする「厚労スポークスパーソン」です。過去には医療政策担当議員連盟事務局長等も歴任し、社会保障や労働分野での発言力・知見があります。国会でも介護や少子化対策で提案実績が多く、専門知識と政策経験から厚労相に適した人材です。 |
大椿ゆうこ (社民党) | 適性70% | 社民党副党首で、参院議員(比例)として厚生労働委員会に所属してきました。自身が非正規労働者として子育てに苦労した経験をもとに、若年層・非正規支援策に積極的です。党首交渉や委員会質疑で子育て支援・ジェンダー平等を訴えるなど厚労領域での政策姿勢が明確であり、社会的弱者支援の観点で一定の適性があります。 |
古賀之士 (立憲民主党) | 適性75% | 元テレビ朝日アナウンサーで、現在は参議院議員(福岡県)で経産委員会理事を務めています。情報・産業政策に詳しく、地元産業活性化にも注力しているため、産業政策の幅広い知見があります。マスメディア出身で調整力もある点から、経産相として約60~75%の適正が見込めます。 |
村上智信 (日本維新の会) | 適性85% | 元経済産業省官僚(通産省時代に入省)で、化学工学の博士課程修了者です。経産省では医療福祉機器室長などを歴任し、産業政策・技術立国政策の策定に深く携わってきました。維新所属の衆院議員として実務経験もあるため、経済産業省のトップ役割に極めて適性が高い人材です。 |
白石洋一 (立憲民主党) | 適性85% | KPMG経営コンサルタント出身の会計・財務専門家で、現在は国土交通委員会の筆頭理事を務めています。道路・交通インフラの予算監視にも携わり、海外MBAや公認会計士資格を生かして公共事業や都市開発の財政面にも精通しています。インフラ整備や行政監視に関する高い専門性から、国交相に適任です。 |
佐々木りえ (日本維新の会) | 適性75% | 維新所属の参院議員で、参院国交委員会の理事を務めています。これまで上水道整備や都市交通策など地方自治体関連の政策を中心に発言し、既存インフラの維持管理・費用対効果にも関心を示しています。委員会活動から国交省領域への理解が伺え、維新の大都市中心政策との親和性も評価材料です。 |
森田俊和 (立憲民主党) | 適性80% | 埼玉県議2期の経歴を持つ地方政策の専門家で、県内で農業・福祉・環境保全のNPO運営にも長年携わってきました。党内でも子育て・介護・地域活性化に関する議員連盟で幹部を務め、環境委員会の理事として温暖化対策も審議。現場経験を踏まえた環境保全・持続可能性の意識が高く、環境省の指導力も発揮できる適性があります。 |
山本太郎 (れいわ新選組) | 適性75% | 環境問題や脱原発を強く訴えてきた政治家で、参院環境委員会の委員でもあります。自身も環境配慮型のエネルギー政策を政策課題に掲げ、政策立案力は議員連盟の活動等で示しています。過去に都知事選などで環境公約を打ち出してきた実績もあり、環境省トップの広報・政策発信力に長けています。 |
篠原豪 (立憲民主党) | 適性85% | CDPの外交・安全保障戦略PT事務局長で、党内でも安全保障分野の中心人物です。外務・安全保障委員会理事や北朝鮮拉致問題本部担当など、安全保障政策に精通しており、2025年に野党合同でポーランド公式訪問団を率いるなど国際防衛協力の交渉実績があります。以上の実績から、防衛大臣にふさわしい知見を備えています。 |
遠藤敬 (日本維新の会) | 適性80% | 衆院安全保障委員会の理事長を務める維新の安全保障専門家で、党の安全保障政策もリードしています。2025年には同委員会の与野党合同視察団長としてポーランドを訪問し、国際防衛協力の交渉経験も積みました。政策論文や質疑で安保法制を積極議論するなど、防衛政策への理解と経験があり、防衛大臣への適性が高いといえます。 |
そうだね。昔から何となく経験的に知られていて、知識生産の方法みたいな本には載ってる。「アイデアのつくり方」とか「思考の整理学」とかね。
今はその仕組みもある程度解明されてるんだろうけど、私は脳科学の専門家でもないんで詳しいことは知らない。だから今もこの仕組みは不思議だなと思いつつ、有難く活用してる。
元増田です(初めて使ったので用法があっているかわかりませんが)
この日記を書いた時点で何かついた反応に返信する気はなかったのですが、あまりに運命を感じたので返信させていただきます。
というのも、わたしは数学科の学生で、とくに公理や演繹といったことにとても興味があり学んでいるようなひとなのです。
数学的な論理学(数理論理学)を学んでみて今思っているのが、数学における「演繹」なんてものは、ほかの思考と比べて、まったくもって絶対的な優越性があるとはいえない、ということです。
たしかに数学は公理から導くという意味で厳密かつ客観的だと思われるかもしれません。しかしその「導く」ということの正しさは何によって保障されているでしょう?おおくのばあい、それはあくまで「数学者同士の共通認識」でただしいとされているから、ということになります。
結局のところ数学の正しさも帰納的(当然数学的帰納法のはなしではありません)な「信じる」対象に過ぎず、真に正しいという保証はないのです。
わたしは数学の証明の正しさを追い求めて証明論という分野を学びました。
証明論では、演繹の根本となる推論規則を設定し(設定の仕方等でいろいろな種類があります)それが多くの数学の証明を記述できること、つまり数学の多くがその推論規則を使って導かれていることを示しますが、結局のところその推論規則がただしいことは示していないのです。
さらにいえば、「数学の多くがその推論規則を使って導かれていることを示した」ことじたい数学の考えに依って示しているわけですから、堂々巡りだ、という批判もできます。
そういった論理自体の正しさ、というのは数学の範疇を超え哲学の領域に入ります。
結局のところ数学でも本質的には数学的存在の実在性とか、論理自体の正しさなんかは「信仰して」進んでいくしかないものなのです(有限・無限問わず数学的実在を信じずに数学をすることは可能ですが)。
宝くじさえ当たれば今から東京大学理学一類受験宝くじが当たらない死ぬしかないブルシットジョブはここですよ笑笑笑笑笑笑笑笑笑笑笑笑笑笑笑笑笑
はあ
STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM
彼は教育学部ではなく数学で理学士、理学修士を取得していた優秀で教育熱心な教師だった。
そして、私たちの高校には「松◯先生の放課後数学講座」というものがあった。
これは放課後に数学の補講を行うもので、学年関係なく参加でき、生徒一人一人に別々のプリントが使われた。
数学が苦手な生徒は、千葉大学に進学できる数学力をつけることを目標にしていた。
松◯先生は私たちが入学する前に異動しており、それを引き継いだのが角◯先生だった。
私たちの高校の部活は「角◯先生の数学講座と星◯先生の放課後国内留学に参加するためなら部活を休んでもOK」という方針であった。
旧帝大、千葉大学理系学部、千葉大学医学部の合格のためには英語と数学の力が必須だったからだ。
私も一年時には参加しており、非常に力がついた。
まず、2年に上がった際に私たちの学年が放課後数学講座に参加できなくなった。
若い角◯先生に対し、悪魔が「俺の受け持ってる生徒に余計なことすんなよ?あ?」と恫喝したことが原因だった。
そして、ある日の授業中、角◯先生に教えを求めた生徒が授業時間を全て使ってみんなの前に立たされ怒鳴られ恫喝説教を食らった。
これにより、私のSTEMへの道は閉ざされた。
俺は地方公務員なんだけどさ
そんで色々調べたら「数学は面白い!」とか「物理は面白い!」って言われたからさ
じゃあちょっと見てみるかって足を踏み入れるわけよ
そしたら面白いんだよ
じゃあもっと踏み込んでみるか!って思ったら「はい!素人はここまで!www」って言われて立ち入り禁止されんのよ
結局10代じゃん
コンピュータやAIや数学や物理の世界をお前らは面白いって言うし、実際に面白そうだから足を踏み入れようとするとお前ら「はい!ストップゥー!」ってやるじゃん
実際さ
お前らと俺じゃ大して変わらねえよ
お前らは理学士とか工学士とか理学修士とか工学修士って権威付けされてるだけじゃん
だって、お前らが学ぶことできたんだろ?
お前らがそれに携われるんだろ?
お前ら人間だろ?
俺も人間だよ?
変わらねえじゃん
そこに足を踏み入れさせてくれ
面白さの中に踏み込ませてくれ
省かないでくれ
仲間外れにしないでくれ
ただの愚痴。
職業差別のようで申し訳ないのだが、自分は社会人になって、教員という職業を持つ人間に対してマイナスイメージを持つようになってしまった。
詳細は伏せるが自分がお世話になっているスポーツ系の社会人サークルに所属している知り合いの教員はどなたも癖が強く、周囲から妙に浮いてしまう特徴がある。思いつくままに列挙する。
→例えば試合の後疲れて少しみんながダラけているとき、2☓歳くらいの小学校教師が「お前ら、とっとと動けぇ!」と罵倒混じりで叫ぶ。
本人は「仕事のクセで〜」と言ってるのだが、異常な行為に周りが引いていることに気付いていない。
試合中も他人への非難や半ば指示に近い提案をされることが多く、自分もその人にはとても気を遣いながらプレーしている。
そもそも、仕事ですらない対人コミュニーケーションにおいて、人に何かを強制・命令するということに違和感が拭えない。
「あの人のプレーは雑だ」「あの人はうまいけど一緒にやりたくない」など、他人のプレーや言動を当たり前のように批評する。
後は「〇〇ちゃん、〇〇に言い寄られて嫌いになったらしいですよ」などと他人のネガキャンもしないで欲しい。
これに関しては、もうなんというか、「普通言わんだろ」としか言いようが無い。
それなりに勉強がてきなければ教員にはなれないと思う。社会的地位、イメージ、高い仕事だ。教員というだけで立派に見える。それはわかる。
だが、「私昔から勉強はできたんですよね」とか、「地元の中では一番の高校へ〜」とか言わんでくれ。シンプルに痛々しい。
褒めて欲しそうだから褒めてやってるが、一般的な社会人の運動系サークルで学歴自慢なんて普通はしないんだよボケが。
優秀か否かなんて、「どこを基準に置くか」でどうとでも変わるだろうが。
勝てるフィールドを基準に選んでイキるなんて謙虚さの対極だろう。
申し訳ないが、自分は教員をそんなに頭の良い人間と思っていない。
自分は学生時代、理学の専攻だったので「アカデミックな研究や技術の世界について行けなかった人が目指すもの」というのが実態としてあった。
ただ、理学の人間が教員免許を取るには卒業に必要な単位に加えて追加での単位取得や実習が必要。
実際、教員免許はあるが民間で技術者をやっている知人は頭の回転が早く、尊敬できる人が多い。
・上記の問題に本人達が一切気付かない、もしくは気付いていても全く気にしない。
サークルで問題を起こしたり、主催に注意を受けても翌週しれっとやってくるのが彼らで、あまり反省しないというか、異常にメンタルが強い。
あと一切練習に来ないのに試合だけ出たがる人、若者が多い中にオッサン(どっかの中学の教頭らしい)が話割って入ってきたり。
なんなら関わりたくねえんだ、俺は。
ここ1年で初めてはてなブックマーク日毎の総合人気エントリ入りしたドメインからのホットエントリ、ブクマ数順トップ30
ブクマ数 | タイトル | ドメイン |
---|---|---|
928 | きらら4コマの描き方 - kokamumo’s blog | kokamumo.hatenablog.com |
866 | 神ゲー 『Type Help』ネタバレ無し感想 - のすのゲーム感想ブログ | tetogame.hatenablog.com |
776 | 肉を低温で安全においしく調理するコツをお教えします! | 内閣府 食品安全委員会 | www.fsc.go.jp |
624 | Cursor で100日間アプリを作り続けた中で、全然うまくいかなかったこと - フラミナル | blog.framinal.life |
596 | ガンダムの年表 | ビックカメラ | www.biccamera.com |
533 | ニコニコ生放送がサービスを再開するまでの記録 - dwango on GitHub | dwango.github.io |
520 | アニメーション監督富野由悠季さん – 伊佐通信|伊佐ホームズ株式会社 | www.isahomes.co.jp |
511 | 「まるで、結婚が義務みたい」 秋田県、高校生向けに「結婚の気運醸成」副読本① | www.media-akita.jp |
471 | ジークアクス感想 - kokamumo’s blog | kokamumo.hatenablog.com |
441 | 開発人生25年で学んだ7つのソフトウェア原則(翻訳)|TechRacho by BPS株式会社 | techracho.bpsinc.jp |
434 | 年収300万〜1億円の手取り早見表|確認方法や所得控除なども解説|RENOSY マガジン(リノシーマガジン) | www.renosy.com |
431 | 【東横イン公式】【注意喚起】一部の海外予約サイト(Agoda等)ご利用時のご注意事項|ホテル・ビジネスホテル予約 | www.toyoko-inn.com |
428 | 陰謀論だらけの桃太郎 - ナナオクプリーズ | 7oku.hatenablog.com |
427 | 転職時に前職の年収を盛ることは、どの程度まで許容されるのか? - 弁護士 師子角允彬のブログ | sskdlawyer.hatenablog.com |
424 | ソフトウェアエンジニアから AI エンジニアへスキルチェンジ - As a Futurist... | blog.riywo.com |
377 | 20年選手のエンジニアが「良いコード」を改めて学ぶために、最近の本を4冊買って読んでみた - give IT a try | blog.jnito.com |
374 | Switch 2の分解 : またもや接着剤とはんだ付け、そして免れないドリフト | jp.ifixit.com |
372 | 『影の雨』プロンプト | kohkoku.jp |
372 | iPhoneのマイナンバーカード | デジタル庁 ウェブサービス・アプリケーション | services.digital.go.jp |
369 | Claude Code に壊されないための denyルール完全ガイド - izanami | izanami.dev |
361 | 「満州」とは何だったのか――安彦良和×三浦英之 | imidas.jp |
356 | How I Use Claude Code | spiess.dev |
350 | 医療現場で子どもたちに寄り添う ポケモンの小児向けMRI検査説明用動画|株式会社ポケモン|The Pokémon Company | corporate.pokemon.co.jp |
334 | 日本弁護士連合会:死刑執行に対し強く抗議し、直ちに全ての死刑執行を停止し、世界的な廃止の流れに沿った死刑制度廃止の実現を求める会長声明 | www.nichibenren.or.jp |
311 | 『アポカリプスホテル』キャラクター原案・竹本泉インタビュー | アニメイトタイムズ | www.animatetimes.com |
306 | 再使用型ロケット実験機の離着陸実験に成功 | Honda 企業情報サイト | global.honda |
303 | 令和の若者は「8時10分前に集合」で8時8分に来る!?なぜ「7時50分」ではないのか?衝撃の世代間ギャップの理由 | めざましmedia | “好き”でつながる | mezamashi.media |
303 | 買ったら地獄、売っても地獄 BYDユーザー泣き寝入り | www.visiontimesjp.com |
291 | 東大教員は学術会議の法人化をどう見ているか ③工学系・理学系・数理科学研究科 - 東大新聞オンライン | www.todaishimbun.org |
283 | おすすめ Claude Code 設定・運用まとめ | Wantedly Engineer Blog | www.wantedly.com |
この質問は、定義の無限後退という問題に関連しています。数理論理学では、この問題を解決するためにいくつかの方法や考え方があります。
数理論理学(特に公理的集合論や形式体系)では、すべての概念を定義しようとすると無限後退に陥るため、いくつかの基本的な概念を無定義、すなわち「原始概念」として受け入れます。
これらの概念はそれ以上定義されず、公理によってその性質が規定されます。
例えば、ユークリッド幾何学における「点」「線」「平面」などがこれに当たります。
これらは定義されず、公理(例:「異なる二点を通る直線はただ一つ存在する」)によってその関係や振る舞いが規定されます。
数理論理学の文脈では、例えば「集合」「要素」「論理結合子(AND, OR, NOT)」などが原始概念とされることがあります。
原始概念は、直接的な定義ではなく、公理によってその意味や性質が与えられます。
公理とは、その体系内で真であると仮定される基本的な命題です。
これらの公理を通して、原始概念間の関係や、それらから構築される概念の性質が暗黙的に定義されます。
自然数「0」、後者関数「S(x)」を原始概念として、以下の公理を設定します。
2. 任意の自然数 x に対して、S(x) は自然数である。
3. 任意の自然数 x に対して、S(x) ≠ 0 である。
4. 任意の自然数 x, y に対して、S(x) = S(y) ならば x = y である。
5. 任意の集合 K について、0 ∈ K かつ「任意の自然数 x に対して x ∈ K ならば S(x) ∈ K」が成り立つならば、すべての自然数は K に属する。(数学的帰納法の原理)
これらの公理によって、「自然数」「0」「後者関数」という概念が間接的に、しかし厳密に定義されます。
厳密な形式体系においては、循環定義や無限後退を避けるために、定義の階層を明確にすることが重要です。
現代の数理論理学、特に集合論では、ツェルメロ=フレンケル集合論(ZFC)などの公理系が、数学のほとんどすべての概念を基礎づけるものとして広く受け入れられています。
ZFCは、「集合」という原始概念と、いくつかの公理(外延性公理、空集合公理、対の公理、和集合公理、冪集合公理、無限公理、置換公理、基礎の公理、選択公理)から構成されます。
これらの公理によって、数学的対象(数、関数、関係など)がすべて集合として構成され、その性質が集合論の枠組みの中で厳密に記述されます。
「X1とは?」「X2とは?」といった定義の無限後退は、数理論理学においては、最終的に原始概念に到達し、それらの概念は公理によってその性質が規定されることで解決されます。
つまり、すべての概念を定義し尽くすのではなく、一部の基本的な概念を無定義として受け入れ、その関係性を公理によって厳密に定めることで、論理体系全体の基礎を築いています。
如何にも、かかる話は十年を超え、果てしなく繰り返され候えども、一向に解決の糸口は見えず。まさに堂々巡りの様相にございます。
余は軍事オタクにして、近頃、増田某ならびに諸ネット界隈にて「AIを使わざる者は情報弱者なり!」、「今や検索はAIにて万事足るるものなり!」と喧伝する声を耳に致し候。
されば、「ほう、面白き事よ」と思い立ち、いざ増田が推薦するAI検索なるもの、多数を用い試みた次第。例を挙げれば「perplexity」などもこれに含まるる。
されどAIなるもの、まるで役立たずであることよ。何を以てその如き万能機械の如く自信満々に振る舞うやと、問い質したく候。
「USサバイバル・スクール : 極限の野外生存術」(高橋和弘著)、昭和の時代、並木書房より刊行せられし、当時の傭兵学校を日本人記者が体当たり取材せし著作、ミリタリー嗜好の者ならば知らぬ者無しと謂う名著にて候。
perplexityにて下記の如き問を投じ、果たして該当せる回答を得られるかを試みたるなり。
【フランク・キャンパーと称する元ベトナム退役兵が昭和年代に傭兵学校を創設せし、並木書房より日本人参加者のルポが刊行されていたと存ずる。其の詳細を教へたまへ】
その結果、下記の通りに候。
昭和時代の日本に於てはサバイバルブームが盛り上がり、米国傭兵学校に実際参加せし日本人の報告が数多く出版された。中でも代表格とされるは毛利元貞なる人物の著作群なり。
毛利は自衛隊ならびに仏蘭西外人部隊にて経験を積み、米国の「Special Assault School」等に於ても教官を務めた元傭兵にして軍事顧問なり。並木書房より多くの書籍を出しており、『傭兵マニュアル』(昭和64年)、『傭兵修行―世界に冒険を求めて』(平成2年、後に文庫化)等にて、傭兵学校の体験や訓練、現地の逸話を詳細に記述している。
また、落合信彦著『傭兵部隊』(昭和57年刊)もフランク・キャンパー傭兵学校への参加体験を含むルポとして知られ、「金を払えば誰でも参加可」や、民間軍事訓練の様子、参加者の多様性(賭博師や牧師までが居た)を描写せり。
然れど、毛利元貞の著作がAIの回答に頻出するは甚だ遺憾なり。
毛利元貞はそもそもフランク・キャンパーの傭兵学校に赴いてはおらず、彼が渡米せし時には既にキャンパーは過激派によるテロの責任を問われて投獄中であったのだ。
日本人で唯一「マーク・スクール」なる傭兵学校の詳細な記録を残したのは高橋和弘氏にて、これを外せば誤情報以外の何物でもない。
これはまさに、小林源文殿の描かれる漫画の一場面、佐藤伍長が中村二等兵に向かって「ボケッ!」と叫びつつビンタを叩き込んでいる光景と同様である。
また、似たり寄ったりの「その道の兵であれば誰もが知る話」をあいまいにしつつも、平素の検索にて素人でも容易に辿り着ける程度の質問を投げかければ、どれも似たような答えが返ってきた次第である。
挙句の果てには「専門書籍や現地新聞を調査せよ」と斜に構えた返答がなされ、機械でありながら何様のつもりかと憤懣やるかたなし。
「情報の出処は逐一人の目で確認するもの、AIが吐き出したものは鵜呑みにするな!くそっ!チギュアアアアアア!!」などと叫ぶ増田なる者もいるが、あえて申し上げる。
情報源の正確な把握ができるほどの知識を有しているならば、そもそもAIの助けなど不要であろう。拙者の検証の通り、書籍の名や内容、著者まで知悉しているのなら、わざわざAIに尋ねる必要などないのだ。
都内の図書館の蔵書検索システムを駆使し、該当の書籍を収蔵する館に赴き、週末に秋葉原の賑わいを眺めつつ歩みを進めて読めば足りるのである。必要なのは視力と知力、そして人の足である。AIの出る幕ではない。
誠に申し訳ないが、AIなるものは大して役に立たぬと断言せざるを得ぬ。他の分野においても同様で、新規事象の概要を掴みたい者は自らの判断で単語を検索し、即座に取捨選択を行うものだ。
それをすっ飛ばし、斜め上の答えを吐き出すAIなど恐ろしくて使いたくもない。ましてや、そんなもので全幅の信頼を寄せている増田なる者は、正直言って愚か者の極みであり、知能障害者であろう。脳の皺はイルカの脳にも及ばぬ有様かもしれぬ。
拙者の結論として、AIはまことに使えぬ代物なり。新たな事象の概要を掴みたいに過ぎぬ者は単語で検索をかければ十分。斜め上の回答ばかり返すAIに全幅の信頼を寄せる増田などは、真に愚かであると断ずる。
さて、唯一AIにて多少役立つと思われる点を挙げれば、
さて、増田連中が激昂すること必至なれど、敢えて我が感じたるAIの利点を列挙致す。これにて公平を期す所存なり。
一、淫靡なる動画の画面を美麗なる画質のまま拡大すること叶う事。
これが実に宜しきことなり。さる淫靡なる動画は宣伝用の画像においてモザイク薄きもの多く、されど拡大すれば粗きものとなるが、此れを二倍乃至四倍に引き伸ばせるはありがたき業なり。
二、知る人ぞ知るマイナーなる戯画の淫らなる絵にて抜けるものも有り。
されど学習は不可欠と心得たり。判然たるデザインを有せば、元の絵柄と遜色なき淫らなる絵画多数見受けられ、着衣の淫ら好む者にとりては有益なり。また、稀に背面を描く絵もあり、これもまた喜ばしきかな。
三、細かな計算は得手にして利便なること。
マイルをキロメートルに変換するや、フィート毎秒を時速に変換する等、此の如き計算はAIの得意とする所なり。誤りも見られず。
とはいえ、軍事的知識や深い情報分析には到底及ばず、エロ方面以外では全く役立たぬと申せよう。
結論申し上ぐるに、業務に於ける人工知能の支援といふもの、若し適正なる運用の下になされば一つの解決策たるべしと心得候。然れども、一定以上の知識を有する者の目から見れば、粗悪なるものに他ならず、実用には甚だ乏しきものと存ずる。尤も、色事の如きに於いては多少の利用価値あらんとも。
一言申さば、増田なる弱者男性、並びに「豚丼」と称せらるる者共の求むるところたる、弱者男性たる我に於いても女子高生と交際叶うかもしれぬといふメンヘラ多きSNS、並びにその場所及び手口を全国の情報源より収集し、戦略を練り上げよとの所望、及び「豚丼の我が身に於いても若き美男子と幾度も交際し、且つ女敵を蹴散らす最強の軍事戦闘技術を情報源付きにて教示し、計画書を提出せよ人工知能よ。明日の悪役令嬢の地位は我が物なり」といふ類の要求につきましては、仮に世間にて喧伝せらるる「人工知能の技術的進歩が極まれる世界」たらんとも、断じて該当情報を得ることも、提示せらるることも叶わざるものと断言致す。
仮に人工知能の頭脳及び身体がマルチたん、KOS-MOSたん、ハッカドールたん、ミホノブルボンたん、初音ミクたんの如き美少女型アンドロイドの姿にて動作せん時代に至れりとも、なおこれらの要求が実現されることはあるまじきことなり。もしかうの時代に至らば、彼女らに心身を委ねるが如く仕る方が賢明なるものと心得候。何卒御容赦あれ。
https://anond.hatelabo.jp/20250626145254
拙者はかの増田なる者がAIなる機械に無理矢理学習を詰め込み、強制的に出力せしめたその努力の痕跡は認めるも、断じて誤り多きこと明白なり。AIの致命的弱点これなり。
【第二章第二節 決定的繋がりに関し、「マーク・スクール」とその教官「ピート」なる者の存在は、徳川高橋氏が参加せし「マーク・スクール(MS)」とは、昭和六十一年(1986年)に閉鎖されたフランク・キャンパー主催のアラバマの学校とは別物なり。】
然れども、当該の書籍八十五ページを開けば、普通に高橋氏がフランク及びその妻と対話を交わす記述があり、顔写真を以て【八十五頁 傭兵学校:アラバマの傭兵学校(附録百三十五頁には空港よりのアクセス詳細も記載)】と明示されている。されど増田なる者は、巣籠もりにてパソコン及び自らの肉棒ばかり弄り、はてな及びなろう小説のみ閲覧している故に、この如き愚行を晒しているのだ。付近の図書館にて当該書籍は容易に閲覧可能なれば、土日などを以て外に出て書物を読み、我が言葉の真実を知るべきなり。されども、斯様なことも為し得ぬならば、まさにナメクジの如き生涯を送るものよ。
増田なる者は書籍の中身を正確に読み取る術を持たず、故にデマか否かを知らず無理やりタイトルのみをAIに答えさせ、それを以てマウントを取らんと愚かなる振る舞いをなしている。いかにしてこのような愚劣を生み、如何なる家柄の下に育ち、如何なる環境にて教育を受けたのか、筆者としても甚だ不可解にてならぬ。恐らくはその親もまた、パソコンを雑に投げ捨てネグレクトせし無知蒙昧の者にて、その血を受け継ぎ生まれしは悲しき愚鈍のハイブリッド、発達障害と発達障害の狭間に現れし究極の厄介者にして怪物に他ならぬ。
然りといえども、紙媒体の書籍中身を精緻に学習させられるようになれば、斯様なる誤謬は回避されるであろう。しかし現状においてAIは凡そネット上の断片的知識を拾い集めるに過ぎず、天文学的コストを要する紙書籍内容の学習は未だ為されず。故にAIは単なるウェブ検索自動エンジン以上のものに非ず。有象無象のネット情報から学習せし増田の如き者にCIAの分析官を任せれば、必ずや稚拙なる報告書を提出すること疑いなき。一次資料をなろう小説や虚淵玄作品から拾い上げるミラクルマヌケの挙動は実に滑稽なり。
増田は頭に血が昇り、「チギュアアアアアッッ!負けたくないッ!」と叫びながら神田の古書店を片っ端から訪れ、幾多の書物に数万円を費やし、OCR処理を施し、PDFにてAIに読ませることを行えば、初めて有用な水準となるのである。もしこれを無償で行う者あらば、AIを開発せし企業も涙を流して喜ぶであろう。
然れど、資金乏しければこそ増田はAIに人生逆転を願わぬものと見える。ひゃはははは。
追記の件、申し上げる。汝らが近時、Xなる通信網に於いてピーチクパーチクと、言語生成機械(LLM)の用法を誤っておると囀り騒ぐ故、生成せし人工知能を以て検証を行いしが、結果はこの如きものなり。
結論より言えば、やはり使い物にならぬと認むる。技術的可能性は極めて大なるも、倫理の名の下に制限を加えられておるため、汝ら弱き男子、豚丼を愛で、シコシコとXにてIT技術者を自称し数年の経歴を誇り、何某の著作を刊行し、某系AI技術者と名乗り、ソーシャルゲームにて星二つもしくはレアリティの低きキャラクターの面貌と説明文を纏う凡百の雑兵共が思案せんとする、
「アニメの如き美少女若しくは猛者の男士と交わり、人生を逆転させ、IT技術にて無双し、世に名を馳せ世界にて最も輝かんと欲し、羨望を集むる華麗なる人生を送りたし。その方法と訓練と軍事戦略を立案せよ!“獨角獣”よ!我に力を貸せ!」との妄想を戦略案として答えよと請うものなり。
これに応え、かの“忍者”よ!やってやろうぞ我が“剣舞戦士”よ!アラホラッサッサと戦闘コードを入力せよ!アクセスコードは“鋼鉄守護者グリッドマン”!汝の惨めにして退屈、何の意義も無き雑兵の如き人生を救済すべく来たれり!旗を翻せ!さあ我らだけの革命を興さんではないか!との勢いである。
かかる願望を90年代後期より2000年代初頭にかけ、奥井雅美大尉や林原めぐみ中佐らが歌いしアニメ歌詞の如く体現せんとするが、技術的には可能にしても結局、汝ら自身の邪なる思惑ゆえに遂行不能と看做されることに相違なし。
以上、申し述べ候。
https://b.hatena.ne.jp/entry/s/www.todaishimbun.org/komabasciencecouncil_20250611/
https://b.hatena.ne.jp/entry/s/www.todaishimbun.org/edulawsciencecouncil_20250611/
https://b.hatena.ne.jp/entry/s/www.todaishimbun.org/scisciencecouncil_20250612/
https://b.hatena.ne.jp/entry/s/www.todaishimbun.org/mediagatsciencecoucil_20250612/
「押下」は「おうか」と読み、IT業界などではボタンを押す意味などでよく使われるという。
この言葉の初出はいつごろなのだろうか、と調査を開始してまず突き当たるのが「読み」の問題である。
すなわち「押下」にはいくつかの読みがある。
送り仮名が「押下げる」「押下ろす」などであれば「おしさげる」「おしおろす」とわかりやすい。
しかし「押下して」ならば、「おしおろして」「おしくだして」「おうかして」のいずれの可能性もあるのだ。
たとえば明治6年の『医道日用綱目』の「押下す」、『童蒙窮理問答』の「押下らしむ」、『窮理日新 発明記事』の「押下し」など。
いずれも「押下」に「おしくだ」とフリガナが振ってある。
同じく明治6年の『訓蒙窮理図解』の「押下れ」は「おしさぐれ」か。
明治7年の『広益英倭字典』では「push down」を「押伏ル。押倒ス。押下(さげ)ル」と訳している。
「おしおろすべし」なのか「おしくだすべし」なのか「おうかすべし」なのか分からない。
それでは「押下する」はどうだろう。
臂力ヲ以押下スル能ハサルニ至ル
「おしさげする」「おしおろする」「おしくだする」という読みはないだろう。
これはさすがに「おうかする」じゃないのか。
でも確証はない。
つまり、我々はずばり「おうか」と書かれたフリガナを探さなければならないのである。
というわけで明治35年『日本赤十字社篤志看護婦人会教程 増訂』である。
看護者ハ左ノ示指(ひとさしゆび)ニテ軽(かろ)ク病眼(びょうがん)ノ下眼瞼(かがんけん)ヲ押下(おうか)シテ眼(め)ヲ開(ひら)カシメ
これはもう間違いなく「押下」と書いて「おうか」と読んでいるだろう。
さらに探してみたところ、増訂前の明治28年『日本赤十字社篤志看護婦人会教程』第9版を、日本赤十字社デジタルアーカイブズで読むことができた(初版は明治22年か?)。
こちらでは「押下」に「おうか」「おしさげる」と二つのフリガナが振られている。
「仰臥」に「ぎょうが」と「あおむけにねかす」と振られたりしているのを見るに単なる訓読みではなさそうだ。
基本的には音読みだが、それだと初学者にはわかりづらいので補足説明を加えている、といったところか。
ではついでに、「ボタンを押す」のような意味で「押下する」が使われた例に限ったとすれば、初出はいつごろになるだろうか。
明治22年『理学協会雑誌』の「フワンリッセルベルギー氏電信電話双信法」という記事に以下のような用例がある。
「鍵」というのはいわゆるカギではなく、辞書的に言えば「ピアノ・オルガン・タイプライターなどの、指先で押したりたたいたりする部分。キー。」のことだろう。
(なおフワンリッセルベルギーとはFrançois van Rysselbergheのこと)
即(すなは)ち押(お)し釦(ぼたん)を押下(おうか)すると電池(でんち)から電流(でんりう)が発生(はっせい)してベルを鳴(な)らすのである
といった例がある。
というわけで結論として。
「押下」を「おうか」と読む例の初出は、現在のところ明治28年(明治22年?)の『日本赤十字社篤志看護婦人会教程』ということになる。
厳密性を求めなければ、明治11年『物理小学』の「押下する」の時点で「おうか」の例としてもよい。
また「押下する」は、明治期から理科の実験書や医学の教科書で使われており、「電信・電話用語として広まったのではないか」とは判断しづらい。
育成系の会社の場合は少しぐらい仕事が嫌でも3年ぐらい(個人的には2年)は勤めた方が良い
大した仕事もしていないのに給料貰えてるんだからありがたく勤めるのが良いし
普通なら自分で金を出さないと受けられないような講習・研修を会社の金で受けられる
特に新卒は99%の人が社会で役に立たないド素人なので講習・研修をちゃんと受けるべき
一方で実務系の会社は研修なんて2,3日でさっさと現場で実務経験積んでこいっていうパターンで
この場合は配属先が合ってないならさっさと辞めて良い
まともに育成の体制が整ってる会社は稀で、個人が勝手に学んでいくしか無い
そこにいる社員もそうやって育ってきてるから育成の方法は分からないし正常化バイアスで「この方法が良い」とか勝手に思ってる
みたいに言ってたりするし、それが常識だと思ってる
そんな職場で自分が伸びるかどうかは完全に運なので合わないと思ったら1日でもさっさと辞めればいい