2017年10月1日日曜日
A.I.
入門・総合実践
-
scikit-learn、Keras、TensorFlowによる実践機械学習 第2版(オライリー)—実装しながら学ぶ定番。 O'Reilly Japan
深層学習(DL)
-
ゼロから作るDeep Learning ❶(理論と実装)/❸(フレームワーク編)/❺(生成モデル編)—人気シリーズ。 O'Reilly Japan+2O'Reilly Japan+2
-
深層学習(Goodfellow/Bengio/Courville)(KADOKAWA)—“DLの教科書”。 KADOKAWAオフィシャルサイト
-
深層学習[改訂第2版](講談社・機械学習プロフェッショナルシリーズ)—日本語で理論を体系的に。 講談社「おもしろくて、ためになる」を世界へ
大規模言語モデル/生成AI(LLM & GenAI)
-
大規模言語モデル入門(技術評論社)—理論と実装の両面を解説。 gihyo.jp
-
大規模言語モデル入門Ⅱ:生成型LLMの実装と評価(技術評論社)—指示チューニング、RAG、評価などを拡充。 gihyo.jp
-
直感 LLM ― ハンズオンで動かして学ぶ大規模言語モデル入門(オーム社×オライリーJP)—Notebookで手を動かす入門。 O'Reilly Japan
自然言語処理(NLP)
-
入門 自然言語処理(オライリー)—基礎と実装を幅広く。 gihyo.jp
強化学習
-
強化学習(講談社・機械学習プロフェッショナルシリーズ)—数理から深層強化学習まで。 kspub.co.jp講談社「おもしろくて、ためになる」を世界へ
-
ゼロから作るDeep Learning ❹ 強化学習編(オライリー)—実装しながら学ぶ。 O'Reilly Media
理論・基礎(統計・ベイズ)
-
パターン認識と機械学習 上・下(PRML)(丸善出版・日本語版)—ベイズ的機械学習の古典的名著。 kinokuniya.co.jpAmazon Japan
MLOps/運用・設計
-
機械学習システムデザイン(オライリー)—プロダクション視点での設計・運用。 O'Reilly Japan
PyTorch 実装
-
つくりながら学ぶ!PyTorchによる発展ディープラーニング(オーム社)—実装主導で応用へ。 Amazon Japan
2017年9月30日土曜日
Euler オイラーは「数学で世界を記述する共通言語」を整え、その多くが今も工学・計算機・物理の中核として動き続けています。
オイラーは「数学で世界を記述する共通言語」を整え、その多くが今も工学・計算機・物理の中核として動き続けています。
主要ポイント
-
統一言語(解析・複素数)
eiθ=cosθ+isinθ は三角関数・回転・波動・フーリエ解析を一つに束ね、信号処理・制御・通信・量子位相の計算を簡潔化します。 -
変分法と物理(オイラー=ラグランジュ方程式)
最適化と物理法則(最小作用の原理)を結ぶ枠組みは、ロボット軌道計画、最適制御、画像処理(TV正則化など)にも直結します。 -
数値計算の基礎
オイラー法は最も基本的な常微分方程式ソルバで、Runge–Kutta系の原型。シミュレーション、金融工学、流体・剛体計算の入口です。 -
数論と暗号
オイラーの定理とトーシェント関数 φ(n) はRSAの数学的土台。「素数⇄乗法構造」の橋をかけた意義は現在も実用最前線です。 -
グラフ理論の嚆矢
ケーニヒスベルクの橋問題はグラフ理論の出発点。ネットワーク設計、物流、回路設計、SNS解析などの抽象モデルを生みました。 -
トポロジーと形状処理
オイラー標数 χ=V−E+F はメッシュの穴・属(genus)判定、3Dプリント前の形状検証、リトポロジの一貫性チェックに有用です。 -
力学・流体・3D姿勢
剛体のオイラー方程式、非粘性流のオイラー方程式、そしてオイラー角は航空宇宙・CGの基本(※ジンバルロック回避に四元数が実務で主流)。 -
解析的数論の礎
ζ(s)=∏p(1−p−s)−1(オイラー積)で素数分布と解析を接続。現代暗号・確率数論・L関数研究へ続く幹を作りました。
クリエイティブ/エンジニアリング向け即効Tip(ユーザー様の制作文脈に寄せて)
-
2D回転を一行化:複素表現で z←zeiθ(GLSLなら
vec2
に対応する回転行列と等価) -
メッシュ健全性チェック:編集後に χ を見て穴の発生や意図しない分割を検知
-
姿勢表現:設計段階でオイラー角、実装は四元数に落とす(補間・合成が安定)
-
シェーダ内の擬似動力学:オイラー前進法で簡易粒子・反応拡散の時間発展を試作→必要に応じ改良
まとめ
Quantum logic
入門・概説/思想
-
Particles and Paradoxes: The Limits of Quantum Logic — Peter Gibbins(1987, Cambridge)
量子論理の効用と限界を平易に批判検討する概説。Cambridge University Press & Assessment -
Quantum Logic — Peter Mittelstaedt(1978, D. Reidel/Springer)
BvN流の命題格子を中心に据えた古典的入門。SpringerLink -
Quantum Probability — Quantum Logic — Itamar Pitowsky(1989, Springer)
量子確率と量子論理の関係を体系的に整理。SpringerLink
代数的基礎・格子論
-
Orthomodular Lattices — Gudrun Kalmbach(1983, Academic Press)
量子命題の標準的モデル=直交加群(直交モジュラー)格子の専門書。Google Books -
Quantum Logic in Algebraic Approach — Miklós Rédei(1998, Kluwer)
C*-代数等を背景にした代数的アプローチの要約。Amazon -
Quantum Logic — Karl Svozil(1998, Springer)
有限系や計算論との接点も含む教科書的まとめ。SpringerLink -
Reasoning in Quantum Theory: Sharp and Unsharp Quantum Logics — M. L. Dalla Chiara, R. Giuntini, R. Greechie(2004, Springer)
“鋭い/非鋭い(unsharp)”量子論理を扱う発展的テキスト。Amazon
ハンドブック(俯瞰)
-
Handbook of Quantum Logic and Quantum Structures: Quantum Logic — Engesser, Gabbay, Lehmann (eds.)(2008, Elsevier)
量子論理の主要流派と結果を網羅。Elsevier ShopScienceDirect -
Handbook of Quantum Logic and Quantum Structures: Quantum Structures — 同編集(2009, Elsevier)
ヒルベルト格子、効果代数など“量子構造”を主題に続巻。Amazon
関連する基礎物理(量子論理に直結する章が多い古典)
-
Foundations of Quantum Mechanics — Josef M. Jauch(1968, Addison-Wesley)
量子命題=射影の格子という見方を詳説する名著。Google Books -
Foundations of Quantum Physics — C. Piron(1976, W. A. Benjamin)
ピロンの公理系(射影格子)で量子理論を再構成。Google Books -
Geometry of Quantum Theory(Vol. I–II / 合本新版)— V. S. Varadarajan(1968–70; 2007新版, Springer)
射影幾何とヒルベルト空間から量子構造を幾何学的に展開。E-Bookshelf -
Mathematical Foundations of Quantum Mechanics — George W. Mackey(1963, W. A. Benjamin)
量子命題を正規直交補格子として把握する古典的基礎書。Google Books
資料的アンソロジー
-
The Logico-Algebraic Approach to Quantum Mechanics Vol. I–II — C. A. Hooker (ed.)(1975/1979, D. Reidel)
歴史・基礎論から現代的展開までの重要論文を収める。SpringerLinkInternet Archive
量子論理そのものの専門書
-
The Logic of Quantum Mechanics — Enrico G. Beltrametti, Gianni Cassinelli(1981, Addison-Wesley/1984, CUP)
BvN 路線の数理を百科事典的にまとめた定番。Cambridge University Press & AssessmentPagePlace
参考:量子論理の起点となった Birkhoff & von Neumann (1936) “The Logic of Quantum Mechanics” は論文ですが、全体像を掴む一次史料として有用です。JSTOR
用途(入門/代数基礎/ハンドブック/歴史資料)で選ぶのがおすすめです。
Multimeter
True-RMS:波形が歪んだACでも正確。#1,#2,#3,#4 が対応。Fluke 117はLoZ/NCVも装備(非接触検電)。Fluke
-
安全規格(CAT):屋内配線・分電盤ならCAT III 600V以上を。Fluke 117はCAT III 600V。Hioki DT4255はCAT III/IV対応レンジ。Flukehioki.com
-
屋外・タフさ:Keysight U1282AはIP67・10ft落下耐性・60kカウントで現場最強クラス。Keysight+1
-
精密据置:**Keithley 2100(6.5桁)**や B&K 2831E は研究/検証に最適。download.tek.combkprecision.comassets.testequity.com
-
まずは安価に:**AstroAI AM33D(2000カウント)**や ANENG AN8205C は入門用途に十分。astroai.comaneng.coAmazon
-
日本ブランド:Hioki DT4282/DT4255 は応答が速く精度も高い定番。hioki.com+1
-
作る/連携:Bit Trade One USBマルチメータはRaspberry Piと連携でき、同時測定・ログ用途に便利。
目的別の短評
-
家庭の電源/機器〜DIY:#1 Fluke 117(True-RMS+LoZ/NCVで“ゴースト電圧”回避)。Fluke
-
電子工作の定番:#3 Hioki DT4255(True-RMSで基本を網羅、取り回し良し)。hioki.com
-
屋外・設備保全:#4 Keysight U1282A(IP67・長時間駆動)。Keysight
-
ベンチ検証:#6 Keithley 2100(6.5桁・USB接続)、#5 B&K 2831E(手頃で多機能)。download.tek.comassets.testequity.com
-
最安で一台:#9 AstroAI、#8 ANENG(導通・電圧・抵抗の基本学習に)。astroai.comaneng.co