著者

宮脇昭 藤原 一繪 小澤 正明

出版者

横浜国立大学

雑誌

横浜国立大学環境科学研究センター紀要 = Bulletin of the Institute of Environmental Science and Technology, Yokohama National University (ISSN:0286584X)

巻号頁・発行日

vol.19, no.1, pp.73-107, 1993-03-25

被引用文献数

12

著者

小澤 正直

出版者

中部大学

雑誌

挑戦的研究(萌芽)

巻号頁・発行日

2017-06-30

---

量子力学の観測命題の論理である量子論理の上に数学を構築することは、経験と論理と数学を繋ぐ興味深いプログラムである。竹内外史は量子集合論を構築し、そこで定義される実数と量子物理量の同等性を示して、このプログラムに先鞭を着けた。本研究では、量子集合論とトポス量子論の関係を明らかにする問題と竹内の量子集合論で有界量化に対するド・モルガンの法則が成立しない問題の2つの懸案を研究し、解決に導いた。この成果により、量子論理、直観論理、パラコンシステント論理に基づく集合論の間に新しい統合が生まれた

著者

荒木 健一 小澤 正邦

出版者

公益社団法人 日本材料学会

雑誌

材料 (ISSN:05145163)

巻号頁・発行日

vol.69, no.7, pp.532-537, 2020-07-15 (Released:2020-07-20)

参考文献数

36

---

Effect of La2O3-Y2O3 additives on coating and thermal stability of alumina layer on FeCrAl-alloy substrate was investigated. The stable alumina catalytic coat layer is required and its processing parameters are important in practical technology to fabricate automotive honeycomb-type catalytic converters. The two-step modification in La2O3-Y2O3-modified Al2O3 induced better slurry regarding with surface charge as colloid dispersion and rheological properties with lower viscosity and low stress under moderate shear rate condition. Surface Y2O3 controls zeta potential to high pH region so that alkaline solution can be applied to metal and alloy substrates. The newly modified Al2O3 coat layer can react with alumina interlayer grown on FeCrAl alloy surface. In conclusion, the optimal coating stability was attained with present La2O3-Y2O3 co-doped Al2O3.

著者

小澤 正人

出版者

愛知県立大学 通訳翻訳研究所

雑誌

ことばの世界 : 愛知県立大学通訳翻訳研究所年報 (ISSN:1884006X)

巻号頁・発行日

no.11, pp.11-23, 2019-03

著者

小澤 正典 北神 慎司

出版者

公益社団法人 日本心理学会

雑誌

日本心理学会大会発表論文集 日本心理学会第83回大会 (ISSN:24337609)

巻号頁・発行日

pp.3B-007, 2019-09-11 (Released:2020-09-26)

著者

小澤 正人

出版者

成城大学文芸学部

雑誌

成城文藝 = The Seijo Bungei : the Seijo University arts and literature quarterly (ISSN:02865718)

巻号頁・発行日

no.198, pp.139-111, 2007-01

著者

小澤 正直

出版者

科学基礎論学会

雑誌

科学基礎論研究 (ISSN:00227668)

巻号頁・発行日

vol.27, no.2, pp.79-85, 2000-03-31 (Released:2009-07-23)

参考文献数

8

著者

小澤 正直

出版者

科学基礎論学会

雑誌

科学基礎論研究 (ISSN:00227668)

巻号頁・発行日

vol.25, no.1, pp.55-57, 1997-12-25 (Released:2009-07-23)

参考文献数

6

著者

小澤 正直

出版者

科学基礎論学会

雑誌

科学基礎論研究 (ISSN:00227668)

巻号頁・発行日

vol.24, no.1, pp.9-15, 1996-12-25 (Released:2009-07-23)

参考文献数

4

著者

小澤 正直

出版者

科学基礎論学会

雑誌

科学基礎論研究 (ISSN:00227668)

巻号頁・発行日

vol.18, no.1, pp.35-43, 1986-12-25 (Released:2009-07-23)

参考文献数

12

被引用文献数

2 2

著者

小澤 正直 藁谷 敏晴

出版者

科学基礎論学会

雑誌

科学基礎論研究 (ISSN:00227668)

巻号頁・発行日

vol.17, no.1, pp.31-37, 1984-12-25 (Released:2009-07-23)

参考文献数

14

著者

小澤 正直

出版者

一般社団法人 日本数学会

雑誌

総合講演・企画特別講演アブストラクト

巻号頁・発行日

vol.1997, pp.19-44, 1997

著者

田中 一之 山崎 武 服部 哲弥 小澤 正直 黒田 覚 隈部 正博 服部 哲哉 小澤 正直 鈴木 登志雄 黒田 覚 隈部 正博 鹿島 亮

出版者

東北大学

雑誌

基盤研究(B)

巻号頁・発行日

2007

---

本研究の主題は, 超準的手法の論理的基礎付けである. 従来集合論をベースに行われた超準的議論を, 計算可能性と結びついた2階算術の弱い体系において実行することにより, 命題の構成的な内容まで超準的に得られるようにする. 代表者が考案した2階算術の超準的方法論の改良と整備を行いながら, 2階算術の超準モデルを研究し, 同時に実数集合の計算構造について探査する. とくに, ランダムな無限列としての実数とその集合の性質を調べる.

著者

小澤 正直

出版者

一般社団法人 日本物理学会

雑誌

日本物理学会誌 (ISSN:00290181)

巻号頁・発行日

vol.43, no.12, pp.945-951, 1988-12-05 (Released:2008-04-14)

参考文献数

5

---

現代論理学とも, 数理論理学とも呼ばれる数学基礎論は, 19世紀末に現れた数学の危機を救うために生まれた数学理論であり, 計算機科学がこの数学基礎論から派生したことはよく知られているが, 近年になって, 科学のもっとも基本的な問題にいくつかの応用が発見されるようになった. ノンスタンダード・アナリシスは, 数学基礎論のモデル論の応用として生まれ, 無限小概念の合理化というライプニッツ以来の問題を解決することに成功した. 無限小の合理化は, 単に微分積分学の書き直しにとどまらない, 奥行きの深いものであって, 新しい自然記述の方法を我々に解放したように思われる. 論理学と物理学の間に生まれつつある, この新しい接点を探ってみたい.

著者

小澤 正人

出版者

愛知県立大学多文化共生研究所

雑誌

共生の文化研究 = Journal of cultural symbiosis research (ISSN:2188000X)

巻号頁・発行日

no.12, pp.98-111, 2018-03-31

著者

中田 昌和 小澤 正 小前 博文 長井 誠 吉田 幸雄 立浦 凱一 沢田 拓士

出版者

鶏病研究会

雑誌

鶏病研究会報 (ISSN:0285709X)

巻号頁・発行日

vol.33, no.3, pp.166-173, 1997-11-25

参考文献数

20

被引用文献数

2

著者

小澤 正直

出版者

名古屋大学

雑誌

挑戦的萌芽研究

巻号頁・発行日

2015-04-01

---

量子論理に基づく集合論である量子集合論の研究は,論理学的方法で量子論を再構築し,量子論の確率解釈を拡張することを目指している。量子論理には含意結合子の選択に任意性があり,その標準化や個別化が長年の問題とされてきた。本研究では,含意結合子の選択による量子集合論の差異に着目し,量子集合論の移行原理が成立する多項式定義可能な2項演算がちょうど6種類あることを証明し,そのうち実質含意と呼ばれる3種に対して,量子集合論で定義される量子物理量の順序関係の確率解釈の差異を明らかにし,実験的検証可能な特徴付けを与えた。この研究により数学基礎論と物理学の新しい境界領域の展開と量子情報技術への応用が期待できる。

著者

松原 洋 小澤 正直 吉信 康夫 築地 立家 佐藤 潤也 井原 俊輔 三井 斌友

出版者

名古屋大学

雑誌

基盤研究(C)

巻号頁・発行日

1999

---

計算可能性と多項式時間計算可能性の分野は、集合論、帰納的関数論、計算量理論、学習理論、確率モデル論、量子計算量理論等と密接に関係しており、本研究の研究実績も多岐にわたる.以下はそれぞれの分野における成果のいくつかを報告する.詰め将棋の計算量:8×8の桝目をn×nに拡張し、コマの個数をo(n)にして詰め将棋を作成したとき、一般化詰め将棋問題はEXPTIME完全であることを示した.これにより、一般化将棋もEXPTIME完全であることになる.確率モデル:一様ランダムに生成される回路の出力端子の個数の分布を決定した.学習1:負例のみからなるサンプルと無矛盾なo(logn)長の単調単項式を提出する問題の計算複雑さは、AND-OR-AND型の3段並列回路でo((logn)^2)個の入力変数をもつものの充足回発見問題と対数領域還元について同等であることをしめした.学習2:包除の原理を応用してDNF式を2^<o(√n)>時間で学習するアルゴリズムをえた.さらに、これ以上高速には学習できないことを頑健学習モデルの上で証明した.学習3:o(logn)個の変数に依存する一般の関数について、その関係変数を高速に発見する3種類のアルゴリズムを提案した.吉信はApproachability Propertyという無限組合せ論の命題と、ある条件を満たしたゲームの必勝法の存在のextendabilityという性質が同値だということを証明した.松原はS.Shelahとの共同研究でλがstrong limit singular cardinalであれば、NS_<kλ>はprecipitousにはなれないことを証明した.さらにこの結果を使って、Menasの予想がλがstrong limit singular cardinalの場合に成立することを証明した.

著者

小澤 正直 浜田 充 北島 雄一郎 西村 治道 Buscemi F.

出版者

名古屋大学

雑誌

基盤研究(A)

巻号頁・発行日

2014-04-01

---

【不確定性】ブランシアールの関係式を混合状態の任意の分解に適用する事で,混合状態に対する誤差擾乱関係を導く事ができる事を示し,2014年に本研究で導かれた,混合状態に対する誤差擾乱関係は最適な分解に対する誤差擾乱関係である事を示した。【相補性】測定過程が物理量の値を再現するのか,確率分布を再現するに過ぎないのかは未決着の問題であるが,定説では,Kochen-Specker の定理から測定は確率分布を再現するに過ぎないと考えられてきた。本研究では,定説に反して,任意の状態で確率分布を再現する事のできる2つの装置で同一の物理量を同時に測定するとそれらの測定値が常に一致することを示した。【情報理論的非局所性】量子通信路が他の通信路に分解可能であるための新しい必要十分条件を発見した。このような条件は,逆データ処理定理と呼ばれ,確率分布のマジョライゼーション順序を量子通信路に拡張している。【計算量理論的非局所性】量子対話型証明における検証者が多項式時間量子アルゴリズムを実行できることに加えて事後選択と呼ばれる能力を有する場合における検証能力を完全に特徴付けることに成功した。具体的には,このような量子対話型証明で検証可能な問題のクラスがPSPACEと一致することを示した。この成果はPSPACEという従来の計算量理論において重要な問題のクラスに対する新しい量子計算的特徴付けを与えるものである。【相対論的非局所性】非文脈依存的な隠れた変数の存在から導かれるKCBS不等式について研究し,非相対論的量子力学においてはすべての状態においてKCBS不等式が破れるわけではないのに対して,相対論的場の量子論においてKCBS不等式はすべての状態において破れるということを示した。【量子暗号】2014年発表のユニタリ演算子構成の定量的な限界式の一般化を行い,より広範囲の系に対して適用可能なものを提案した。

著者

小澤 正直

出版者

物性研究刊行会

雑誌

物性研究 (ISSN:07272997)

巻号頁・発行日

vol.97, no.5, pp.1031-1057, 2012-02-05

---

この論文は国立情報学研究所の電子図書館事業により電子化されました。