「理学」を含む日記 RSS

はてなキーワード: 理学とは

2025-10-21

数学の分類はこんな感じか

フェミニズムの分類が多すぎると聞いて

anond:20251020210124

0. 基礎・横断

集合論

公理集合論(ZFC, ZF, GCH, 大きな基数)

記述集合論(Borel階層, Projective階層, 汎加法族)

強制法フォーシング), 相対的一致・独立

理論理学

述語論理(完全性定理, コンパクト性)

モデル理論(型空間, o-極小, NIP, ステーブル理論

証明論(序数解析, カット除去, 直観主義論理

再帰理論/計算可能性(チューリング度, 0′, 相対計算可能性)

圏論

関手自然変換, 極限/余極限

加群圏, アーベル圏, 三角圏, 派生

トポス論, モナド, アジュンクション

数学基礎論哲学

構成主義, 直観主義, ユニバース問題, ホモトピー型理論(HoTT)

1. 代数学

群論

組み合わせ群論(表示, 小石定理, 自由群)

代数群/リー群表現, Cartan分解, ルート系)

幾何群論ハイパーリック群, Cayleyグラフ

環論

可換環論(イデアル, 局所化, 次元理論, 完備化)

可換環アルティン環, ヘルシュタイン環, 環上加群

体論・ガロア理論

体拡大, 分解体, 代数独立, 有限体

表現

群・リー代数表現(最高ウェイト, カズダン–ルスティグ)

既約表現, 調和解析との関連, 指標

ホモロジー代数

射影/入射解像度, Ext・Tor, 派生関手

K-理論

アルバースカルーア理論, トポロジカルK, 高次K

線形代数

ジョルダン標準形, 特異値分解, クリフォード代数

計算代数

Gröbner基底, 多項式時間アルゴリズム, 計算群論

2. 数論

初等数論(合同, 既約性判定, 二次剰余)

代数的数論(代数体, 整環, イデアル類群, 局所体)

解析数論(ゼータ/ L-関数, 素数定理, サークル法, 篩法)

p進数論(p進解析, Iwasawa理論, Hodge–Tate)

算術幾何楕円曲線, モジュラー形式, 代数多様体の高さ)

超越論(リンマンヴァイエルシュトラス, ベーカー理論

計算数論(楕円曲線法, AKS素数判定, 格子法)

3. 解析

実解析

測度論・ルベーグ積分, 凸解析, 幾何的測度論

複素解析

変数リーマン面, 留数, 近似定理

変数(Hartogs現象, 凸性, several complex variables)

関数解析

バナッハ/ヒルベルト空間, スペクトル理論, C*代数, von Neumann代数

調和解析

フーリエ解析, Littlewood–Paley理論, 擬微分作用素

確率解析

マルチンゲール, 伊藤積分, SDE, ギルサノフ, 反射原理

実関数論/特殊関数

ベッセル, 超幾何, 直交多項式, Rieszポテンシャル

4. 微分方程式力学系

常微分方程式(ODE)

安定性, 分岐, 正準系, 可積分系

偏微分方程式(PDE)

楕円型(正則性, 変分法, 最小曲面)

放物型(熱方程式, 最大原理, Harnack)

双曲型(波動, 伝播, 散乱理論

非線形PDE(Navier–Stokes, NLS, KdV, Allen–Cahn)

幾何解析

リッチ流, 平均曲率流, ヤンミルズ, モノポールインスタント

力学系

エルゴード理論(Birkhoff, Pesin), カオス, シンボリック力学

ハミルトン力学, KAM理論, トーラス崩壊

5. 幾何学・トポロジー

位相幾何

点集合位相, ホモトピーホモロジー, 基本群, スペクトル系列

幾何トポロジー

3次元多様体幾何化, 結び目理論, 写像類群)

4次元トポロジー(Donaldson/Seiberg–Witten理論

微分幾何

リーマン幾何(曲率, 比較幾何, 有界幾何

シンプレクティック幾何(モーメント写像, Floer理論

複素/ケーラー幾何(Calabi–Yau, Hodge理論

代数幾何

スキーム, 層・層係数コホモロジー, 変形理論, モジュライ空間

有理幾何(MMP, Fano/一般型, 代数曲線/曲面)

離散幾何・凸幾何

多面体, Helly/Carathéodory, 幾何極値問題

6. 組合せ論

極値組合せ論(Turán型, 正則性補題

ランダムグラフ/確率方法(Erdős–Rényi, nibble法)

加法組合せ論(Freiman, サムセット, Gowersノルム)

グラフ理論

彩色, マッチング, マイナー理論(Robertson–Seymour)

スペクトルグラフ理論, 拡張グラフ

組合設計ブロック設計, フィッシャーの不等式)

列・順序・格子(部分順序集合, モビウス反転)

7. 確率統計

確率論(純粋

測度確率, 極限定理, Lévy過程, Markov過程, 大偏差

統計

数理統計推定, 検定, 漸近理論, EM/MD/ベイズ

ベイズ統計MCMC, 変分推論, 事前分布理論

多変量解析(主成分, 因子, 判別, 正則化

ノンパラメトリックカーネル法, スプライン, ブーストラップ

実験計画/サーベイ, 因果推論(IV, PS, DiD, SCM

時系列(ARIMA, 状態空間, Kalman/粒子フィルタ

確率最適化/学習理論

PAC/VC理論, 一般境界, 統計学習

バンディット, オンライン学習, サンプル複雑度

8. 最適化オペレーションリサーチ(OR)

凸最適化

二次計画, 円錐計画(SOCP, SDP), 双対性, KKT

凸最適化

多峰性, 一階/二階法, 低ランク, 幾何的解析

離散最適化

整数計画, ネットワークフロー, マトロイド, 近似アルゴリズム

確率的/ロバスト最適化

チャンス制約, 分布ロバスト, サンプル平均近似

スケジューリング/在庫/待ち行列

Little法則, 重み付き遅延, M/M/1, Jackson網

ゲーム理論

ナッシュ均衡, 進化ゲーム, メカニズムデザイン

9. 数値解析・計算数学科学計算

数値線形代数(反復法, 直交化, プリコンディショニング)

常微分方程式の数値解法(Runge–Kutta, 構造保存)

PDE数値(有限要素/差分/体積, マルチグリッド

誤差解析・条件数, 区間演算, 随伴

高性能計算HPC)(並列アルゴリズム, スパー行列

シンボリック計算(CAS, 代数的簡約, 決定手続き

10. 情報計算暗号(数理情報

情報理論

エントロピー, 符号化(誤り訂正, LDPC, Polar), レート歪み

暗号理論

公開鍵RSA, 楕円曲線, LWE/格子), 証明可能安全性, MPC/ゼロ知識

計算複雑性

P vs NP, ランダム化・通信・回路複雑性, PCP

アルゴリズム理論

近似・オンライン確率的, 幾何アルゴリズム

機械学習の数理

カーネル法, 低次元構造, 最適輸送, 生成モデル理論

11. 数理物理

古典/量子力学の厳密理論

C*代数量子論, 散乱, 量子確率

量子場の数理

くりこみ群, 構成的QFT, 共形場理論CFT

統計力学の数理

相転移, くりこみ, Ising/Potts, 大偏差

可積分系

逆散乱法, ソリトン, 量子可積分モデル

理論幾何

鏡映対称性, Gromov–Witten, トポロジカル弦

12. 生命科学医学社会科学への応用数学

数理生物学

集団動態, 進化ゲーム, 反応拡散, 系統樹推定

数理神経科学

スパイキングモデル, ネットワーク同期, 神経場方程式

疫学感染症数理

SIR系, 推定制御, 非均質ネットワーク

計量経済金融工学

裁定, 確率ボラ, リスク測度, 最適ヘッジ, 高頻度データ

社会ネットワーク科学

拡散, 影響最大化, コミュニティ検出

13. シグナル・画像データ科学

信号処理

時間周波数解析, スパー表現, 圧縮センシング

画像処理/幾何処理

変動正則化, PDE法, 最適輸送, 形状解析

データ解析

多様体学習, 次元削減, トポロジカルデータ解析(TDA

統計機械学習回帰/分類/生成, 正則化, 汎化境界

14. 教育歴史方法

数学教育学(カリキュラム設計, 誤概念研究, 証明教育

数学史(分野別史, 人物研究, 原典講読)

計算支援定理証明

形式数学(Lean, Coq, Isabelle), SMT, 自動定理証明

科学哲学数学実在論/構成主義, 証明発見心理

2025-10-11

「玉木内閣」の閣僚候補一覧を考察 (ChatGPT Deep Research)

■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年には同委員会与野党合同視察団長としてポーランド訪問し、国際防衛協力交渉経験も積みました。政策論文や質疑で安保法制を積極議論するなど、防衛政策への理解経験があり、防衛大臣への適性が高いといえます


情報2025年10月時点の公開情報に基づきます

anond:20251010204933

2025-10-10

anond:20251010094813

そうだね。昔から何となく経験的に知られていて、知識生産方法みたいな本には載ってる。「アイデアのつくり方」とか「思考の整理学」とかね。

今はその仕組みもある程度解明されてるんだろうけど、私は脳科学専門家でもないんで詳しいことは知らない。だから今もこの仕組みは不思議だなと思いつつ、有難く活用してる。

anond:20251006040833

元増田です(初めて使ったので用法があっているかわかりませんが)

この日記を書いた時点で何かついた反応に返信する気はなかったのですが、あまり運命を感じたので返信させていただきます

というのも、わたし数学科学生で、とくに公理演繹といったことにとても興味があり学んでいるようなひとなのです。

数学的な論理学(数理論理学)を学んでみて今思っているのが、数学における「演繹」なんてものは、ほかの思考と比べて、まったくもって絶対的優越性があるとはいえない、ということです。

しか数学公理から導くという意味で厳密かつ客観的だと思われるかもしれません。しかしその「導く」ということの正しさは何によって保障されているでしょう?おおくのばあい、それはあくまで「数学者同士の共通認識」でただしいとされているから、ということになります

結局のところ数学の正しさも帰納的(当然数学帰納法のはなしではありません)な「信じる」対象に過ぎず、真に正しいという保証はないのです。

わたし数学証明の正しさを追い求めて証明論という分野を学びました。

証明論では、演繹根本となる推論規則を設定し(設定の仕方等でいろいろな種類があります)それが多くの数学証明記述できること、つまり数学の多くがその推論規則を使って導かれていることを示しますが、結局のところその推論規則がただしいことは示していないのです。

さらにいえば、「数学の多くがその推論規則を使って導かれていることを示した」ことじたい数学の考えに依って示しているわけですから堂々巡りだ、という批判もできます

そういった論理自体の正しさ、というのは数学範疇を超え哲学領域に入ります

結局のところ数学でも本質的には数学存在実在性とか、論理自体の正しさなんかは「信仰して」進んでいくしかないものなのです(有限・無限わず数学実在を信じずに数学をすることは可能ですが)。

同じように、あなたの仰る「公理人間存在仮定せずに存在し得る」というのは信仰です。

でもよいではないですか。信仰で。信じましょうよ。そのほうがよいから。それで十分ではないですか。

2025-09-29

anond:20250929122909

受験科目と学位は?

数学物理化学受験で使っていて、理学工学学位なら全然大丈夫だよ

STEMにも携われる

文系ならそもそも大学受験で終わってる

ニートのお前も働いてる俺も変わらない

文系ブルシットジョブ時間切り売りして小銭稼ぐと心が疲弊する

理学工学医学学士をおくれ

理学工学修士をおくれ

医学博士をおくれ

STEMに携わりたい

人生をやり直させておくれ

宝くじさえ当たれば今から東京大学理学一類受験宝くじが当たらない死ぬしかないブルシットジョブはここですよ笑笑笑笑笑笑笑笑笑笑笑笑笑笑笑笑
















はあ









STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM STEM

2025-09-28

角◯先生助けて

私たち出身高校には、角◯先生という数学教師がいた。

彼は教育学部ではなく数学理学士、理学修士を取得していた優秀で教育熱心な教師だった。

そして、私たち高校には「松◯先生放課後数学講座」というものがあった。

これは放課後数学の補講を行うもので、学年関係なく参加でき、生徒一人一人に別々のプリントが使われた。

優秀な一年生は数学2B数学3の予習もできる。

数学が苦手な生徒は、千葉大学に進学できる数学力をつけることを目標にしていた。

松◯先生私たち入学する前に異動しており、それを引き継いだのが角◯先生だった。

私たち高校部活は「角◯先生数学講座と星◯先生放課後国内留学に参加するためなら部活を休んでもOK」という方針であった。

旧帝大千葉大学理系学部千葉大学医学部合格のためには英語数学の力が必須だったからだ。

私も一年時には参加しており、非常に力がついた。

しかし、悪魔嘱託教師の手によりそれもダメになった。

まず、2年に上がった際に私たちの学年が放課後数学講座に参加できなくなった。

若い角◯先生に対し、悪魔が「俺の受け持ってる生徒に余計なことすんなよ?あ?」と恫喝したことが原因だった。

そして、ある日の授業中、角◯先生に教えを求めた生徒が授業時間を全て使ってみんなの前に立たされ怒鳴られ恫喝説教を食らった。

これにより、私のSTEMへの道は閉ざされた。

2025-09-23

結局10代なんだな

人生ってつまらないじゃん

俺は地方公務員なんだけどさ

仕事プライベートも楽しくない

仕事うまい飯も旅行デート

そんで色々調べたら「数学面白い!」とか「物理面白い!」って言われたからさ

じゃあちょっと見てみるかって足を踏み入れるわけよ

そしたら面白いんだよ

じゃあもっと踏み込んでみるか!って思ったら「はい素人はここまで!www」って言われて立ち入り禁止されんのよ

結局10代じゃん

コンピュータAI数学物理世界をお前らは面白いって言うし、実際に面白そうだから足を踏み入れようとするとお前ら「はいストップゥー!」ってやるじゃん

実際さ

お前らと俺じゃ大して変わらねえよ

お前らは理学士とか工学士とか理学修士とか工学修士って権威付けされてるだけじゃん

だって、お前らが学ぶことできたんだろ?

お前らがそれに携われるんだろ?

お前ら人間だろ?

俺も人間だよ?

変わらねえじゃん

大学しか学べないことなんてないんだよ

そこに足を踏み入れさせてくれ

面白さの中に踏み込ませてくれ

省かないでくれ

仲間外れにしないでくれ

大学研究室でやってたことは休日図書館インターネットでも学べるんだよ

そうじゃないって言うんなら、結局人生10代で決まるじゃん

2025-08-10

教師仕事をしている人たちが苦手になってしまった

ただの愚痴

職業差別のようで申し訳ないのだが、自分社会人になって、教員という職業を持つ人間に対してマイナスイメージを持つようになってしまった。


詳細は伏せるが自分がお世話になっているスポーツ系の社会人サークル所属している知り合いの教員はどなたも癖が強く、周囲から妙に浮いてしまう特徴がある。思いつくままに列挙する。


他人の行動を躊躇なくコントロールしようとする

→例えば試合の後疲れて少しみんながダラけているとき、2☓歳くらいの小学校教師が「お前ら、とっとと動けぇ!」と罵倒混じりで叫ぶ。

本人は「仕事のクセで〜」と言ってるのだが、異常な行為に周りが引いていることに気付いていない。

試合中も他人への非難や半ば指示に近い提案をされることが多く、自分もその人にはとても気を遣いながらプレーしている。

そもそも仕事ですらない対人コミュニーケーションにおいて、人に何かを強制命令するということに違和感が拭えない。

他人への批評を嬉々として行う

「あの人のプレーは雑だ」「あの人はうまいけど一緒にやりたくない」など、他人プレー言動を当たり前のように批評する。

後は「〇〇ちゃん、〇〇に言い寄られて嫌いになったらしいですよ」などと他人ネガキャンもしないで欲しい。

これに関しては、もうなんというか、「普通言わんだろ」としか言いようが無い。

ナルシスト

それなりに勉強がてきなければ教員にはなれないと思う。社会的地位イメージ、高い仕事だ。教員というだけで立派に見える。それはわかる。

だが、「私昔から勉強はできたんですよね」とか、「地元の中では一番の高校へ〜」とか言わんでくれ。シンプルに痛々しい。

褒めて欲しそうだから褒めてやってるが、一般的社会人運動系サークル学歴自慢なんて普通はしないんだよボケが。

優秀か否かなんて、「どこを基準に置くか」でどうとでも変わるだろうが。

勝てるフィールド基準に選んでイキるなんて謙虚さの対極だろう。

申し訳ないが、自分教員をそんなに頭の良い人間と思っていない。

自分学生時代理学の専攻だったので「アカデミック研究技術世界について行けなかった人が目指すもの」というのが実態としてあった。

ただ、理学人間教員免許を取るには卒業必要単位に加えて追加での単位取得や実習が必要

そのため努力は相応にしている人だというのも事実

実際、教員免許はあるが民間技術者をやっている知人は頭の回転が早く、尊敬できる人が多い。


上記問題に本人達が一切気付かない、もしくは気付いていても全く気にしない。

サークル問題を起こしたり、主催に注意を受けても翌週しれっとやってくるのが彼らで、あまり反省しないというか、異常にメンタルが強い。

あと一切練習に来ないのに試合だけ出たがる人、若者が多い中にオッサン(どっかの中学教頭らしい)が話割って入ってきたり。

さらパワハラ自慢と離婚歴自慢も辞めて欲しい。

なんなら関わりたくねえんだ、俺は。


以上、当人達には口が裂けても言えない愚痴でした。

もし「職業:教員」がこの日記を見たら、少し自分の振る舞いが教員以外の世界でどう見られているか見直して欲しい。

2025-08-02

チバユウスケが夢に出てきた。

といっても、夢でも故人として。大学のなんかすごかった先輩。何故かわからないけど理学科だった。

起きてまだ半覚醒の時に、チバってあんなんじゃないだろ…人を勝手想像するなよ…とか真面目に考えててハッと覚醒した。

さら覚醒した今は、チバもういないんだよなあと考えてやっぱ寂しいわ。ずっと好きで聴いてるミュージシャンがいなくなると、ずーっと寂しい。

2025-07-05

[]2025年6月滅多にホットエントリを出さなドメインからホットエントリ

ここ1年で初めてはてなブックマーク日毎の総合人気エントリ入りしたドメインからホットエントリブクマ数順トップ30

ブクマタイトルドメイン
928きらら4コマの描き方 - kokamumo’s blogkokamumo.hatenablog.com
866神ゲー 『Type Help』ネタバレ無し感想 - のすのゲーム感想ブログtetogame.hatenablog.com
776肉を低温で安全においしく調理するコツをお教えします! | 内閣府 食品安全委員会www.fsc.go.jp
624Cursor で100日間アプリを作り続けた中で、全然うまくいかなかったこと - フラミナルblog.framinal.life
596ガンダムの年表 | ビックカメラwww.biccamera.com
533ニコニコ生放送サービスを再開するまでの記録 - dwango on GitHubdwango.github.io
520アニメーション監督富野由悠季さん – 伊佐通信|伊佐ホームズ株式会社www.isahomes.co.jp
511「まるで、結婚義務みたい」 秋田県高校生向けに「結婚の気運醸成」副読本① www.media-akita.jp
471ジークアクス感想 - kokamumo’s blogkokamumo.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
37720選手エンジニアが「良いコード」を改めて学ぶために、最近の本を4冊買って読んでみた - give IT a tryblog.jnito.com
374Switch 2の分解 : またもや接着剤とはんだ付け、そして免れないドリフトjp.ifixit.com
372『影の雨』プロンプトkohkoku.jp
372iPhoneマイナンバーカードデジタルウェブサービスアプリケーションservices.digital.go.jp
369Claude Code に壊されないための denyルール完全ガイド - izanamiizanami.dev
361満州とは何だったのか――安彦良和×三浦英之imidas.jp
356How I Use Claude Codespiess.dev
350医療現場子どもたちに寄り添う ポケモンの小児向けMRI検査説明動画株式会社ポケモンThe Pokémon Companycorporate.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 Blogwww.wantedly.com

近所の数学ファンおっちゃん

俺が理学系の院に通ってると知った近所のおっちゃん

ラッツ予想解いたって主張してて草

2025-07-01

この国のリーダー層は東大早慶多数派

文系理系なんてのは関係なく、

評価が高いのは

都会の難関大

なのです。

QS世界大学雇用者評価ランキング

1位東京大学

2位早稲田大学

3位京都大学

4位慶應義塾大学

5位東京工業大学

6位大阪大学

7位名古屋大学

8位北海道大学

9位九州大学

10一橋大学

歴代総理大臣輩出大学ランキング(戦後)

1位 東京大学 11

2位 早稲田大学 8名

3位 慶應義塾大学 3名

4位 明治大学 2名

京大一橋東工大 1名、地帝 0名

東証グロース市場社長ランキング

1位…東大37人

2位…慶応36人

3位…早稲田31

4位…京大14人

5位…関西11

6位…明治10

6位…日本大10

8位…東京理科大7人

8位…大阪大7人

10位…立教同志社東工大一橋6人

時価総額上位100社の社長出身大学ランキング

東京一工早慶(62名)】

東京大学 22、早稲田大学 17京都大学 9、

慶應義塾大学 7、一橋大学 5、東京工業大学 2

【上位私立(21名)】

同志社大学 4、中央大学 3、関西学院大学 3、

上智大学 2、東京理科大学 2、明治大学 2、

法政大学 1、立教大学 1、青山学院大学 1、

関西大学 1、ICU国際基督教大学)1

【TOCKY(3名)】

横浜国立大学 1、筑波大学 1、神戸大学 1

駅弁国立(3名)】

広島大学 1、岡山大学 1、静岡大学 1

【地帝(1名)】

九州大学 1

【その他(10名)】

海外大学 4、長崎県立大学 1、東京農工大学 1、

岐阜薬科大学 1、成城大学 1、花園大学 1、

専門学校卒 1

時価総額ランキング社長出身大学

1トヨタ自動車早稲田理工

2三菱UFJFG…東大理学

3東京エレクトロン明治経営

4キーエンス関西学院法学部

5ソニーグループ早稲田商学部

6日本電信電話一橋商学部

7ファーストリテイリング早稲田政経学部

8三菱商事…東大教養学部

9信越化学工業早稲田政経学部

10ソフトバンクグループカルフォルニア

11日立製作所京大理学

12三井住友FG…東大工学部

13リクルートHD…早稲田商学部

14三井物産慶応経済学部

15任天堂早稲田政経学部

16KDDI京大工院

17伊藤忠商事早稲田法学部

18ホンダ広島大工学院

19中外製薬岐阜薬科大学薬学部

20東京海上HD…慶應大法

21ソフトバンク花園文学部

22第一三共一橋大社学部

23デンソー早稲田理工学部

24オリエンタルランド法政経済学部

25JT…京大工学部

26みずほFG…一橋法学部

27武田薬品工業リヨン第一大学

28HOYA…中央大理工学部

29ディスコ慶応大理工学部

30ダイキン工業同志社工学部

31キヤノン中央大法学部

32ゆうちょ銀行早稲田理工学部

33セブン&アイHD…青学法学部

34村田製作所同志社工学部

35SMC…上智法学部

36三菱電機…早稲田商学部

37日本郵政東大法学部

38アドバンテスト横浜国立経営学部

39富士通東工大工学部

40豊田自動織機早稲田政経学部

2025-06-28

単語定義をどこまで掘り下げれば理解したことになるの?

この質問は、定義無限後退という問題に関連しています。数理論理学では、この問題解決するためにいくつかの方法や考え方があります

1. 原始概念

理論理学特に公理集合論形式体系)では、すべての概念定義しようとすると無限後退に陥るため、いくつかの基本的概念を無定義、すなわち「原始概念」として受け入れます

これらの概念はそれ以上定義されず、公理によってその性質規定されます

例えば、ユークリッド幾何学における「点」「線」「平面」などがこれに当たります

これらは定義されず、公理(例:「異なる二点を通る直線はただ一つ存在する」)によってその関係や振る舞いが規定されます

理論理学文脈では、例えば「集合」「要素」「論理結合子(AND, OR, NOT)」などが原始概念とされることがあります

2. 公理定義

原始概念は、直接的な定義ではなく、公理によってその意味性質が与えられます

公理とは、その体系内で真である仮定される基本的命題です。

これらの公理を通して、原始概念間の関係や、それらから構築される概念性質が暗黙的に定義されます

例:ペアノの公理自然数論)

自然数「0」、後者関数「S(x)」を原始概念として、以下の公理を設定します。

1. 0 は自然数である

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」「後者関数」という概念が間接的に、しかし厳密に定義されます

3. 循環定義回避形式

厳密な形式体系においては、循環定義無限後退を避けるために、定義階層を明確にすることが重要です。

4. 基礎付けの概念

現代の数理論理学特に集合論では、ツェルメロ=フレンケル集合論(ZFC)などの公理系が、数学ほとんどすべての概念を基礎づけるものとして広く受け入れられています

ZFCは、「集合」という原始概念と、いくつかの公理外延公理空集合公理、対の公理、和集合公理、冪集合公理無限公理、置換公理、基礎の公理選択公理から構成されます

これらの公理によって、数学対象(数、関数関係など)がすべて集合として構成され、その性質集合論の枠組みの中で厳密に記述されます

まとめ

X1とは?」「X2とは?」といった定義無限後退は、数理論理学においては、最終的に原始概念に到達し、それらの概念公理によってその性質規定されることで解決されます

まり、すべての概念定義し尽くすのではなく、一部の基本的概念を無定義として受け入れ、その関係性を公理によって厳密に定めることで、論理体系全体の基礎を築いています

2025-06-27

anond:20250626125317 ■申す儀、AIと称するもの、全く実用に耐え難し!改稿

■申す儀、AIと称するもの、全く実用に耐え難し!改稿

如何にも、かかる話は十年を超え、果てしなく繰り返され候えども、一向に解決の糸口は見えず。まさに堂々巡り様相にございます

余は軍事オタクにして、近頃、増田某ならびに諸ネット界隈にて「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年代初頭にかけ、奥井雅美大尉林原めぐみ中佐らが歌いしアニメ歌詞の如く体現せんとするが、技術的には可能にしても結局、汝ら自身の邪なる思惑ゆえに遂行不能と看做されることに相違なし。

以上、申し述べ候。

2025-06-26

anond:20250626150311

元増田も同じようなこと言ってるけど「めちゃくちゃ学習させる」とか「無理矢理学習」とかって何を指してるの?

ディープリサーチ(各社名前違いで似たような機能)的なボタンぽちっと押して質問入力してるだけで何も手間かけずに勝手にこういう答え出るけど

それが何か気に食わなかったりするの?

2025-05-27

anond:20250527164232

これでも数理論理学を学ぶ意欲はあるんだけど、そういう形式的操作はできても、日常会話でお前らが言う「論理が飛躍してる」とかいときの「論理」ってものが実感を持って湧いてこない。

学問論理人間本能としての論理って別物なんだろうな。

2025-05-26

「押下」を「おうか」と読む例の初出

「押下」は「おうか」と読み、IT業界などではボタンを押す意味などでよく使われるという。

この言葉の初出はいつごろなのだろうか、と調査を開始してまず突き当たるのが「読み」の問題である

すなわち「押下」にはいくつかの読みがある。

送り仮名が「押下げる」「押下ろす」などであれば「おしさげる」「おしおろす」とわかりやすい。

しかし「押下して」ならば、「おしおろして」「おしくだして」「おうかして」のいずれの可能性もあるのだ。

たとえば明治6年の『医道日用綱目』の「押下す」、『童蒙窮理問答』の「押下らしむ」、『窮理日新 発明記事』の「押下し」など。

いずれも「押下」に「おしくだ」とフリガナが振ってある。

同じく明治6年の『訓蒙窮理図解』の「押下れ」は「おしさぐれ」か。

明治7年の『広益英倭字典』では「push down」を「押伏ル。押倒ス。押下(さげ)ル」と訳している。

明治10年の『理学教程講本』の例はどうだろうか。

第三十九図ノ如クスルトキハ水、酒精、越的児ノ三液斉シク管頭ノ空処ニ上テ水銀柱ヲ押下スヘシ

最後の「押下すべし」にフリガナはない。

「おしおろすべし」なのか「おしくだすべし」なのか「おうかすべし」なのか分からない。

それでは「押下する」はどうだろう。

明治11年物理小学

臂力ヲ以押下スル能ハサルニ至ル

「おしさげする」「おしおろする」「おしくだする」という読みはないだろう。

これはさすがに「おうかする」じゃないのか。

でも確証はない。

まり、我々はずばり「おうか」と書かれたフリガナを探さなければならないのである

というわけで明治35年日本赤十字社篤志看護婦人会教程 増訂である

看護者ハ左ノ示指(ひとさしゆび)ニテ軽(かろ)ク病眼(びょうがん)ノ下眼瞼(かがんけん)ヲ押下(おうか)シテ眼(め)ヲ開(ひら)カシメ

これはもう間違いなく「押下」と書いて「おうか」と読んでいるだろう。

さらに探してみたところ、増訂前の明治28年日本赤十字社篤志看護婦人会教程』第9版を、日本赤十字社デジタルアーカイブズで読むことができた(初版明治22年か?)。

https://adeac.jp/jrcsarchives/iiif/ct10020100402700/jrc004_027/uv#?c=0&m=0&s=0&cv=52&r=0&xywh=100%2C273%2C3652%2C1930

こちらでは「押下」に「おうか」「おしさげる」と二つのフリガナが振られている。

「仰臥」に「ぎょうが」と「あおむけにねかす」と振られたりしているのを見るに単なる訓読みではなさそうだ。

基本的には音読みだが、それだと初学者にはわかりづらいので補足説明を加えている、といったところか。

ではついでに、「ボタンを押す」のような意味で「押下する」が使われた例に限ったとすれば、初出はいつごろになるだろうか。

明治22年理学協会雑誌』の「フワンリッセルベルギー電信電話双信法」という記事に以下のような用例がある。

磁石及ビ蓄電器ハ流電ノ溜メトナリ鍵ヲ押下スルトキハ流電若干該器ニ溜リ鍵ヲ放ストキハ其溜リタル流電徐々ニ流出ルナ

「鍵」というのはいわゆるカギではなく、辞書的に言えば「ピアノオルガンタイプライターなどの、指先で押したりたたいたりする部分。キー。」のことだろう。

(なおフワンリッセルベルギーとはFrançois van Rysselbergheのこと)

フリガナ付きであれば、大正14年現代日用電気学講話』、

即(すなは)ち押(お)し釦(ぼたん)を押下(おうか)すると電池(でんち)から電流(でんりう)が発生(はっせい)してベルを鳴(な)らすのである

といった例がある。

というわけで結論として。

「押下」を「おうか」と読む例の初出は、現在のところ明治28年明治22年?)の『日本赤十字社篤志看護婦人会教程』ということになる。

厳密性を求めなければ、明治11年物理小学』の「押下する」の時点で「おうか」の例としてもよい。

また「押下する」は、明治から理科実験書や医学教科書で使われており、「電信電話用語として広まったのではないか」とは判断しづらい。

2025-05-22

私物理学徒なんだけど2回の時に数学教員(30代くらい)にガチ恋してググって読める論文とか本人が持ってきてみせてくれた研究資料とか読み漁ったからその教員の分野だけめちゃくちゃ知っててワロタっていう話を数学徒の友人にしたらめっちゃひかれてワロエナイ

2025-04-21

育成系の会社か実務系の会社かによって変わる

育成系の会社場合は少しぐらい仕事が嫌でも3年ぐらい(個人的には2年)は勤めた方が良い

大した仕事もしていないのに給料貰えてるんだからありがたく勤めるのが良いし

普通な自分で金を出さないと受けられないような講習・研修会社の金で受けられる

特に新卒は99%の人が社会で役に立たないド素人なので講習・研修ちゃんと受けるべき

街中で自動車運転するために教習所に通ってるイメージ

一方で実務系の会社研修なんて2,3日でさっさと現場で実務経験積んでこいっていうパターン

この場合は配属先が合ってないならさっさと辞めて良い

さっさと公道走って事故ってから学べ、みたいなイメージ

まともに育成の体制が整ってる会社は稀で、個人勝手に学んでいくしか無い

そこにいる社員もそうやって育ってきてるから育成の方法は分からないし正常化バイアスで「この方法が良い」とか勝手に思ってる

「俺も事故した方があるけど、事故った方が事故理学べるよ」

みたいに言ってたりするし、それが常識だと思ってる

そんな職場自分が伸びるかどうかは完全に運なので合わないと思ったら1日でもさっさと辞めればいい

ちなみに育成系の会社でも基本的には1週間とか1ヶ月もすればどこかに配属された上で研修が続くけれど

その場合の配属はただの社会見学レベルなのでゴミのような職場でも無視して良い

2025-04-13

anond:20250413193539

だよね。元増田が言ってることは、かなり大袈裟に言えば量子力学誕生したあとに古典物理学宗教でした!って言ってるようなもの。あるいは現代の数理論理学から見てアリストテレス論理学宗教だと言ってるようなもの天動説は当時の知見の最先端で、実際にそこそこ上手く機能していた。新しい事実が判明してそれが地動説に上書きされただけ。

そもそも科学紀元前からあるから2000年どころの歴史じゃないし。元増田レベル無理解で無教養な人って低学歴不勉強IQ自体が低い、もしくは注目されたくて釣りしてんのかなぁと思った。

ログイン ユーザー登録
ようこそ ゲスト さん