2017年9月30日土曜日

Quantum Miracle

投稿者

Quantum logic

量子論理（Quantum Logic）を英語原著で学べる主要書の日本語リストです。古典からハンドブックまで、用途別に短評を添えました。

入門・概説／思想

  1. Particles and Paradoxes: The Limits of Quantum Logic — Peter Gibbins（1987, Cambridge）
    量子論理の効用と限界を平易に批判検討する概説。Cambridge University Press & Assessment

  2. Quantum Logic — Peter Mittelstaedt（1978, D. Reidel／Springer）
    BvN流の命題格子を中心に据えた古典的入門。SpringerLink

  3. Quantum Probability — Quantum Logic — Itamar Pitowsky（1989, Springer）
    量子確率と量子論理の関係を体系的に整理。SpringerLink

代数的基礎・格子論

  1. Orthomodular Lattices — Gudrun Kalmbach（1983, Academic Press）
    量子命題の標準的モデル＝直交加群（直交モジュラー）格子の専門書。Google Books

  2. Quantum Logic in Algebraic Approach — Miklós Rédei（1998, Kluwer）
    C*-代数等を背景にした代数的アプローチの要約。Amazon

  3. Quantum Logic — Karl Svozil（1998, Springer）
    有限系や計算論との接点も含む教科書的まとめ。SpringerLink

  4. Reasoning in Quantum Theory: Sharp and Unsharp Quantum Logics — M. L. Dalla Chiara, R. Giuntini, R. Greechie（2004, Springer）
    “鋭い/非鋭い（unsharp）”量子論理を扱う発展的テキスト。Amazon

ハンドブック（俯瞰）

  1. Handbook of Quantum Logic and Quantum Structures: Quantum Logic — Engesser, Gabbay, Lehmann (eds.)（2008, Elsevier）
    量子論理の主要流派と結果を網羅。Elsevier ShopScienceDirect

  2. Handbook of Quantum Logic and Quantum Structures: Quantum Structures — 同編集（2009, Elsevier）
    ヒルベルト格子、効果代数など“量子構造”を主題に続巻。Amazon

関連する基礎物理（量子論理に直結する章が多い古典）

  1. Foundations of Quantum Mechanics — Josef M. Jauch（1968, Addison-Wesley）
    量子命題＝射影の格子という見方を詳説する名著。Google Books

  2. Foundations of Quantum Physics — C. Piron（1976, W. A. Benjamin）
    ピロンの公理系（射影格子）で量子理論を再構成。Google Books

  3. Geometry of Quantum Theory（Vol. I–II / 合本新版）— V. S. Varadarajan（1968–70; 2007新版, Springer）
    射影幾何とヒルベルト空間から量子構造を幾何学的に展開。E-Bookshelf

  4. Mathematical Foundations of Quantum Mechanics — George W. Mackey（1963, W. A. Benjamin）
    量子命題を正規直交補格子として把握する古典的基礎書。Google Books

資料的アンソロジー

  1. The Logico-Algebraic Approach to Quantum Mechanics Vol. I–II — C. A. Hooker (ed.)（1975/1979, D. Reidel）
    歴史・基礎論から現代的展開までの重要論文を収める。SpringerLinkInternet Archive

量子論理そのものの専門書

  1. 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

投稿者

Zentangle

ゼンタングルは、反復パターンを黒ペンで描き、集中と安らぎを得る“瞑想的ドローイング”手法です。

超簡単な始め方（5ステップ）

  1. 9cm角の紙に四隅へ点→枠線

  2. 鉛筆でゆるい「ストリング」（区切り線）

  3. 各エリアに模様（タングル）を描く

  4. 鉛筆で陰影→綿棒でぼかす

  5. 署名・日付

初心者向けタングル例
Crescent Moon／Hollibaugh／Printemps／Knightsbridge／Tipple

コツ
ゆっくり・失敗なしのマインドで／線幅と間隔を揃える／余白と陰影で立体感。

投稿者

2017年9月10日日曜日

数値解析ソフト比較表


Creator Development started License Notes 　
ADMB D. Fournier, ADMB Project Free BSD 3-clause (aka new) License Automatic differentiation makes it well suited to complex minimization problems
Analytica Lumina Decision Systems Free (Analytica Free 101), $995 (Professional), $2795 (Enterprise) Proprietary A numerical modeling environment with a declarative and visual programming language based on influence diagrams.
Ch SoftIntegration $399 (commercial) / $199 (academic) / Free (student) Proprietary C/C++ based numerical computing and graphical plotting[1]
DADiSP DSP Development $1995 (commercial) / $129 (academic) / Free (student) Proprietary Numeric computations for science and engineering featuring a spreadsheet like interface.
DataMelt S.Chekanov (jwork.org) Free Free for non-commercial use Mathematics, symbolic calculations, algebra, data analysis, data mining, interactive 2D/3D graphics, Java scriptable, used for science and engineering, Cross-platform (written in Java)
Dyalog APL Dyalog Ltd. £850/year or 2% royalty (free for non-commercial use) Proprietary A modern dialect of APL, enhanced with features for functional and object-oriented programming.
Euler Math Toolbox René Grothmann Free GPL Also a computer algebra system through interface with Maxima
Fityk Marcin Wojdyr $115 (1.x binaries) / Free (source code and 0.x binaries) GPL interactive graphics, scriptable, specialized in curve fitting and peak fitting, 2D only
FlexPro Weisang GmbH Not free (commercial) / Free (academic) Proprietary Dynamic, interactive 2D/3D diagrams, programmable, VBA, high performances, multicore compatible, large data sets.
FreeMat Samit Basu Free GPL Codeless interface to external C, C++, and Fortran code. Mostly compatible with MATLAB.
GAUSS Aptech Systems Not free Proprietary 　
GNU Data Language Marc Schellens Free GPL Aimed as a drop-in replacement for IDL/PV-WAVE
GNU Octave John W. Eaton Free GPL General numerical computing package with lots of extension modules. Syntax mostly compatible with MATLAB
IGOR Pro WaveMetrics $995 (commercial) $225 upgrade / $499 (academic) $175 upgrade / $85 (student) Proprietary interactive graphics, programmable, 2D/3D, used for science and engineering, large data sets.
J Jsoftware Free GPL online access to: J Application Library (JAL)
Julia Jeff Bezanson, Stefan Karpinski, Viral B. Shah, and other[3]contributors Free MIT License Direct calls of C functions (no wrappers needed). Designed for cloud parallel computing with LLVM JIT as a backend. Lightweight "green" threading (coroutines). Efficient support for Unicode. Shell-like capabilities for managing other processes. Lisp-like macros and other metaprogramming facilities.
LabVIEW National Instruments $1249 (commercial) / $79.95 (student) Proprietary Graphical, and textual through formula nodes, mathscript and .m file scripts[4]
Maple Maplesoft $2275 (commercial) / $99 (student) Proprietary Mainly a computer algebra system
Mathcad Parametric Technology Corporation $1195 (commercial) / $99 (student) Proprietary 　
Mathematica Wolfram Research Free (Raspberry Pi[6]), $2495 (commercial) / $145 (student) / $295 (personal)[7] Proprietary Also computer algebra system
MATLAB MathWorks $2650 (standard) / $625 (education) Proprietary Numerical computation and simulation with extended 2D/3D visualization.
Maxima MIT Project MAC and Bill Schelter et al. Free GPL Mainly a computer algebra system
MLAB Civilized Software, Inc. $2250 (standard) / $50 (student) Proprietary Numerical and Statistical computation for Scientific Applications, e.g. Chemical Kinetics. ODE Solving and Curve-Fitting. Symbolic Differentiation, Survival Analysis, Cluster Analysis, 2D/3D Graphics.
Origin OriginLab $1095 (std.)/$1800 (Pro) Proprietary Integrated data analysis graphing software for science and engineering. Flexible multi-layer graphing framework. 2D, 3D and statistical graph types. Built-in digitizing tool. Analysis with auto recalculation and report generation. Built-in scripting and programming languages.
$550 (std., academic)
$850 (Pro, academic)
$69/yr. (Pro, student)
Perl Data Language Karl Glazebrook Free Artistic License Used for astrophysics, solar physics, oceanography, biophysics, and simulation. 2D plotting via PGPLOT, PLPlot bindings; 3D via GL.
PSPP Ben Pfaff Free GPL v.3 or later FOSS alternative to IBM SPSS. Analysis of sampled data, frequencies, cross-tabs comparison of means (t-tests and one-way ANOVA); linear regression, logistic regression, reliability (Cronbach's Alpha, not failure or Weibull), and re-ordering data, non-parametric tests, factor analysis, cluster analysis, principal components analysis, chi-square analysis and more
R R Foundation Free GPL Primarily for statistics, but there are many interfaces to open-source numerical software
SageMath William Stein Free GPL Programmable, includes computer algebra, 2D+3D plotting. Interfaces to many open-source and proprietary software. Web based interface HTTP or HTTPS
SAS Anthony Barrand James Goodnight Not free Proprietary 　
SequenceL Texas Multicore Technologies Free (Community Edition), $2495 (Professional Edition) Proprietary Functional programming language and tools. Delivers high performance on multicore hardware with ease of programming, and code clarity/readability. Designed to work with other languages, including C, C++, C#, Java, Fortran, Python, etc. Can be compiled to multithreaded C++ (and optionally OpenCL) code with no explicit indications from the programmer of how or what to parallelize. A platform-specific runtime manages the threads safely.
S-Lang John E. Davis Free GPL, Artistic License(1.x only) Available as a standalone (slsh) and embedded interpreter (jed, slrn, ...)
Scilab Scilab EnterprisesWas:Inria Free CeCILLlicense Programmable, direct support of 2D+3D plotting. Interfaces to many other software packages. Interfacing to external modules written in C, Java, Python or other languages. Language syntax similar to MATLAB. Used for numerical computing in engineering and physics.
SPSS Normal H. Nie, Dale H. Bent, and C. Hadlai Hull Not free Proprietary 　
Sysquake Calerga free / $2500 (Pro, commercial) / $1000 (Pro, academic) Proprietary interactive graphics
TK Solver Universal Technical Systems, Inc. $399 commercial / $49 (student) Proprietary Numerical computation and rule-based application development
VisSim Visual Solutions $495-$2800 (commercial) Proprietary Visual Language for simulation and Model Based Design. Used in business, science and engineering. Performs complex scalar or matrix based ODE solving with parametric optimization. Has 2D and 3D plotting, 3D animation, and state transition built in.
free view only version
$50-$250/free v3.0 (academic)
Yorick n/a Free GPL Programmable, callable 2D+3D plotting. Language syntax similar to C. Interfacing to other software packages via C calls.
投稿者

2017年1月3日火曜日

Juliaハイパフォーマンスプログラミング　Kindle版

投稿者

2016年12月29日木曜日

Google Chart Toolsスタートガイド


Google Chart Toolsスタートガイド
投稿者
登録: 投稿 (Atom)