1. 専門は数理マルクス経済学、厚生経済学、社会選択理論、ゲーム理論。

專長為數理馬克思經濟學、數理經濟學、福利經濟學、社會選擇理論、博弈論。

2. 二階述語論理もさらに高階述語論理や型理論に拡張される。

二阶逻辑接着被高阶逻辑和类型论所扩展。

3. 2004年10月2日、オックスフォード大学の理論物理学の建物は「サー・ルドルフ・パイエルス理論物理学センター」と命名された。

牛津大學理論物理學部的建築於2004年10月2日被正式命名為“魯道夫·佩爾斯爵士理論物理學中心”。

4. 付け値地代理論(つけねちだいりろん、英: bid rent theory)とは、不動産の価格や需要に差異が生じる理由を中心業務地区(CBD)からの距離に求める経済地理学の理論である。

竞租理论(英语:bid rent theory)是与随着与中央商务区(CBD)的距离增加,土地的价格和需求如何变化相关的一种地理经济理论。

5. 線形論理は1987年、フランスの論理学者ジャン=イヴ・ジラールが提唱した。

线性逻辑由法国数学家Jean-Yves Girard在1987年提出。

6. 論理プログラミングの基本は数理論理学のスタイルをコンピュータのプログラミングに持ち込むことにある。

邏輯編程的要點是將正規的邏輯風格帶入電腦程式設計之中。

7. Henkin semantics を伴った二階述語論理は、一階述語論理と同等の表現能力しかない。

带有Henkin语义的二阶逻辑不比一阶逻辑有更大表达能力。

8. 一階述語論理では単一の標準の意味論しかなかったが、二階述語論理では2種類の意味論 standard semantics と Henkin semantics がある。

不像只有一个标准语义的一阶逻辑,二阶逻辑有两个常用的不同语义:标准语义和Henkin语义。

9. 1928年、パウリはスイスのチューリッヒ連邦工科大学の理論物理学の教授に任命された。

1928年,泡利任聘为瑞士苏黎世联邦理工学院理论物理教授。

10. 二階述語論理の意味論は、個々の文の意味を確立するものである。

二阶逻辑的语义建立每个句子的意义。

11. 2011年6月からは、FOMAハイスピード受信速度が14Mbps(理論値14.4Mbps)に引き上げられた。

2011年6月開始,FOMA High Speed的下行速度提高至14Mbps(理論値14.4Mbps)。

12. ヴィーザーの2つの主要な貢献は、生産要素の価格は生産物価格により決定される、と主張する「転嫁」の理論、および、価値理論の基礎---新古典主義理論における主観主義者の柱としての「機会費用」理論である。

維塞爾對經濟學的兩大貢獻之一是「歸屬」(imputation)理論,主張產品的要素價格是由生產價格加上机会成本所決定的,這個理論成為了奧地利經濟學派價值的主觀理論的基礎,也成為了新古典派经济学的基礎之一。

13. 政治理論学者として,言論,信教,教育の自由を唱道した。

他是个政治理论家,提倡言论、信仰和接受教育的自由。

14. その理論の主は 美学者や ポストモダンの美術理論家や 芸術批評の大家 ではありません

这一理论不是来自艺术哲学家, 也不是来自后现代艺术理论家 或是有名的艺术评论家。

15. 工学部は機械工学第一(機械設計法、機械学、機械力学)~第二(蒸汽原動機)/電気工学第一(電気理論)、第二(電気通信)、第三(電気機械)/応用化学第一(酸鹸工業、塩類、肥料及瓦斯等)、第二(珪酸、塩、工業化学(水泥及玻璃))、第三(工業電気化学)、第四(炭水化学及発酵)/土木工学第一(混凝土工学)、第二(橋梁)、第三(上水及下水)/材料強弱学/工業物理学/応用数学・力学/工業分析学の計16講座により構成。

在工學部,設置機械工學第一(機械設計法、機械學、機械力學)~第二(蒸汽原動機)、電氣工學第一(電氣理論)、第二(電氣通信)、第三(電氣機械)、應用化學第一(酸鹼工業、鹽類、肥料及瓦斯等)、第二(珪酸、鹽、工業化學(水泥及玻璃))、第三(工業電氣化學)、第四(炭水化學及發酵)、土木工學第一(混凝土工學)、第二(橋梁)、第三(上水及下水)、材料強弱學、工業物理學、應用數學・力學、工業分析學,共計16個講座。

16. タルスキはワルシャワ大学にて最年少で博士号を取得した後、ポーランド教育大学で講師として論理学、ワルシャワ大学でも講師として数学と論理学を教える傍ら、ヤン・ウカシェヴィチの助手を務めた。

作为当时华沙大学历史上最年轻的博士毕业后,塔斯基在波兰师范学院教授逻辑学、在华沙大学教授数学和逻辑学,并当武卡谢维奇的助手。

17. 公理的意味論(こうりてきいみろん、Axiomatics Semantics)とは、数理論理学に基づいてプログラムの正当性を証明する手法。

公理语义学(Axiomatic semantics)是使用数理逻辑来证明程序正确性。

18. 科学的な社会心理学のコンセプトを開発し、一般社会心理学論の基礎を設定し、初めて心理学における国民感情論、その感情の本質及びダイナミクスを世情の指示器として開発した。

制定科学社会心理学的概念,并奠定共同社会心理学理论基础;在心理学首先制定了民情理论,其性质和动力作为 一个社会状态的显示。

19. 先端科学技術に関する価値について これを論破するのは簡単です

前沿科学和工程学的辩论,但这些很容易被反驳

20. 本研究で用いられるアプローチでは、アイデンティティ、価値観、ボランティアを結合させて、物語的アイデンティティと価値的アイデンティティを論理的視点から導入する。

在这一研究使用的方法中,将认同、价值和志愿服务结合在一起,介绍了敘事認同与价值认同的理论观点。

21. 科学を学ぶため、執筆のあいだ中彼はカリフォルニア工科大学で相対性理論を学んだ。

為了要了解科學的理論,他在寫劇本期間到加州理工學院研究相對論。

22. ギリシャ人たちは幾何学の理論的原形を作った。

希臘人建立了幾何學的理論模型。

23. フーリエ変換は応用数学、特に物理学や符号理論において有用な積分作用素である。

傅里叶变换在应用数学特别是物理学和信号处理中都是有用的工具。

24. 心理学の哲学(しんりがくのてつがく、英: Philosophy of psychology)とは、近代心理学の理論的基礎に関する問題を扱う研究領域。

主條目:心理学哲学(英语:Philosophy of psychology) 心理学哲学关注现代心理学的理论基础的问题。

25. その間にも,理論家の中には,自然界の力を統一するために“超弦理論”なる新しい数学的理論を発展させようとしている人もいます。

与此同时,有些理论家正尝试发展一种新的数学方法,叫做“超控论”(superstring theory),以求把自然界的各种力统一起来。

26. マービン・レオナード・"マーフ"・ゴールドバーガー(Marvin Leonard "Murph" Goldberger、1922年10月22日 - 2014年11月26日)は理論物理学者。

马文·伦纳德“墨菲”戈德伯格(英语:Marvin Leonard "Murph" Goldberger,1922年10月22日-2014年11月26日),美国理论物理学家,加州理工学院前任校监。

27. 論理学と科学的手法に関する彼の最も重要な著作は、彼の『科学の法則』("Principles of Science",1874年)、これと並んで『経済学理論』(1871年)及び『労働関係の状態』("The State in Relation to Labour",1882年)である。

他最重要的逻辑学和科学方法论著作是1874年的《科学原理》、1871年的《政治经济学理论》和1882年的《劳工问题介绍》。

28. 20世紀の物理学者と科学者は、群論を対称性を研究する理想的な枠組みとみなした。

20世纪的物理学家和其他科学家发现群论是研究对称性的理想工具。

29. 国語運動の理論的・科学的な方向付けを行った。

國語運動的理論與實際。

30. 十分な理解力を有していませんが 進化論的な選択は 少なくとも 真の数学や論理学から 退化する方向には向かっていません

我们并非每次都对,但至少选择压力 不会一致偏离真正的数学和逻辑。

31. 論理的結合 論理包含

逻各斯 对立统一 辩证法

32. 国連教育科学文化機関(ユネスコ)は,物理学的,生物学的,地理学的,科学的に際立った価値のある文化遺産と自然遺産を世界遺産のリストに加えています。

联合国教育、科学及文化组织,把一些文化遗址和自然景区列入世界遗产名录。 这些地方别具特色,而且对生物学、地质学或自然科学有重大价值。

33. 議論する価値は殆どない。

這幾乎不值得討論。

34. だから私は社会科学や経営研究における 価値衝突や道徳的ジレンマについて 百余りの論文を読み 論評を書きました

所以如果我重新审视, 在做社会科学以及管理研究时遇到的伦理困境 写作,阅读大概100个报告。

35. 生物学の理論的基礎は、現代の自然科学の多くがそうであるように、根本的に物理主義的である。

生物学的理论背景,大体上与现代自然科学一样,基本上是唯物主义的。

36. co-NP は、全称量化二階述語論理で表現できる言語の集合である。

co-NP是用全称二阶逻辑可表达的语言的集合。

37. 二重小惑星の形成については、いくつかの理論が提唱されている。

已經有好幾種雙小行星系統形成的理論被提出。

38. 最初に量子化されたゲージ理論は量子電磁力学(QED)であった。

第一个量子化的规范理论是量子电动力学(QED)。

39. どちらの理論も長所と短所があり、多くの惑星科学者は、真の理論は両モデルの要素を含むものであると考えている。

因為這兩種理論都有它們自己成功和失敗的地方,許多的行星科學家認真的認為實際的理論應該包含這兩種理論的元素。

40. 物質科学、特に弾性理論では、捩れの考え方は重要である。

在材料科学中,特别是弹性理论,挠率的想法也扮演着重要的角色。

41. 一般に科学者、技術者、応用数学者であることが多く、高性能なコンピュータを利用して対象領域(物理学、化学、工学など)の何らかの最先端の理論を検証する。

他们通常是科学家、工程师或应用数学家,会以不同方式应用高性能计算机,以提高他们各自的应用学科(如物理学、化学或工程学的相关学科)中最先进的理论和技术水平。

42. 哲学者はこの最後の問題を論ずると,たちまち理論の泥沼にはまり込んでしまいます。

当哲学家们讨论最后的问题时,他们很快就陷入议论纷纭的泥沼中。

43. 前提と価値の枠組みに基づくと、今日の世界で理性的で理論的だと理解されていることは、行動実践に対する精神構造を提示する。

我们现在所理解的、在当今世界中是合理及合乎逻辑的事情,提供了一个基于由前提和价值组成的架构来采取行动的心理方案。

44. いわゆるエクマンの海流理論の提唱者として、現代海洋物理学界の最高峰と謳われた。

他提出了埃克曼层理论,被誉为现代物理海洋学的第一人。

45. 弦理論というのは 1つの理論ではなく 大きな理論の集まりなのです

那就是弦理论并不只是一个理论, 而是很多个理论的集合。

46. 批判的合理主義者ハンス・アルバート (Hans Albert) によると、論理学や数学においてさえ、どの真理であろうと確実に証明することは不可能である。

批判理性主義者Hans Albert曾展示了即使在邏輯或數學的範疇中證明任何能夠肯定的真理也是不可能的。

47. * 事実,1964年から1965年にかけて行なわれた,この背景放射の発見こそ,ビッグバン理論には価値があるということをほとんどの科学者に納得させたものなのです。

*事实上,1964-65年间发现的宇宙背景辐射,令科学家大多相信,大爆炸的理论是有点根据的。

48. 1873年、ギブズは、熱力学的物理量を幾何学的に表現する方法に就いての論文を発表した。

1873年,吉布斯發表論文《用曲面方法來幾何表現出物質的熱力學性質》。

49. その後、親友の林献堂の資金援助によって日本に留学し、東京高等師範学校理科第二部(物理化学科)に合格する。

之後,他在親友與林獻堂的資助下前往日本留學,並考上東京高等師範學校理科二部(物理化學科)。

50. しかし、太陽物理学界では、この説について未だに論争がある。

但在太陽物理的論壇中對此仍然有所爭議。

51. マルクスの理論も,ドイツの哲学者ゲオルク・ウィルヘルム・フリードリヒ・ヘーゲルの見解を反映していました。「

马克思的理论也反映出德国哲学家格奥尔格·威廉·弗里德里希·黑格尔的见解。

52. 2番目に、21世紀初頭の非標準的なビッグバン原子核合成理論の研究で注目されていることは、ビッグバン原子核合成理論を未知の、又は空論の物理学を制限するのに用いようとするものである。

其次,在21世紀初,那些主要的非標準太初核合成理論,都需要置入未知或有風險的物理條件。

53. 数理論理学では、最小不動点は何らかの再帰的定義を構築することに関連している。

在数理逻辑中,最小不动点常与做递归定义有关。

54. 理解することは言い訳をすることではありません 心理学は弁明論ではありません

心理学不是借口学。

55. 出発点となったのは、物理学者のユージン・ウィグナーの名高い1960年の論文「自然科学における数学の不合理な有効性」The Unreasonable Effectiveness of Mathematics in the Natural Sciencesであった。

这被尤金·维格纳在1960年叫做“数学在自然科学中无理由的有效性”(The unreasonable effectiveness of mathematics in the natural sciences)。

56. 100年前の今月 36歳のアルベルト・アインシュタインは ベルリンにある プロイセン科学アカデミーで 空間と時間と重力に関する 画期的な理論を発表しました 一般相対性理論です

在一个世纪前的这个月, 36岁的阿尔伯特•爱因斯坦 站在柏林的普鲁士科学院门口, 发布着一个有关空间, 时间和引力的激进的新理论: 广义相对论。

57. 哲学的言語(理想言語 ideal languages ともいう)、論理的言語(logical languages、時々 loglangs と略す)、実験的言語(experimental languages)である。

至少分為三個子類:哲學語言(英语:Philosophical language)(philosophical language,又作理想語言,ideal language)、邏輯語言(logical language)以及實驗語言(英语:Experimental language)(Experimental language)。

58. これらに加え、『診断手引書』では治療計画、原因療法、経験論の活用、論理学、診断・予後・治療における合理主義などが取り入れられている。

此外,《诊断手册》介绍了治疗和病因学的方法及经验主义、逻辑学和诊断、预后和治疗的合理性的使用。

59. 残り数分の間 私の考える素粒子物理学とは何かということ -- 素粒子物理学と宇宙論 -- について違う見方を紹介します

但是在最后的几分钟里,我只想给你们 提供一个不同的角度 关于我认为粒子物理 到底意义何在——粒子物理和宇宙学

60. 宗教百科事典」はカタリ派の二元論を「二つの原理: 霊的なものすべてを律する善の原理,および人体を含め,物質界の成因である悪の原理」を信ずる考え方と定義しています。

宗教百科全书》将清洁派的二元论界定为相信“两个本原:一个是好的,支配一切属灵的事物,另一个是坏的,统管这个物质的世界,包括人的身体在内”。

61. 公理的意味論の典型的な例としてホーア論理がある。

公理语义学的一个实例是霍尔逻辑。

62. 著名な地質学者であり,天文学者であり,また物理学者でもあるロバート・ジャストロー教授は進化論を受け入れています。

著名的地质学家兼天文学家和物理学家杰士特罗(Robert Jastrow)教授是接纳进化论的。

63. 科学の歴史から分かるとおり,理論は変わりますが,事実は不変です。

综观科学发展史,理论说变就变,事实则屹立不倒。

64. ギブズははじめに、1873年にコネティカット州芸術科学アカデミー論文誌に発表された2報の論文『流体の熱力学における図式解法(Graphical methods in the thermodynamics of fluids)』、『物体の熱力学的諸性質の曲面による幾何学的表示(A method of geometrical representation of the thermodynamic properties of substances by means of surfaces)』によって数理物理学に貢献した。

吉布斯对数学物理的第一项贡献是1873年发表在《康涅狄格学院学报》上的两篇论文:《流体热力学的图示》(Graphical Methods in the Thermodynamics of Fluids)和《表面物质热力学性质的几何表示》(Method of Geometrical Representation of the Thermodynamic Properties of Substances by means of Surfaces)。

65. 二値信号が0であればパルス(クロック周期よりも短い)を出し、二値信号が1であればパルスを出さない。

如果二进制信号是0,双电平的RZI信号就有一个脉冲(比时钟周期短),如果二进制信号是1就不会有脉冲。

66. 専門分野は、教育行政学、教育法制論、学校経営論。

交通安全、民主法治教育以及升學等方面均有卓越的表現。

67. 2004年5月、学術雑誌「Procesos de Mercado」を創設、編集長を務め、オーストリア学派の論文を年二回、欧州各国公用語で発行している。

2004年5月,他开始成为并一直担任学术期刊《市场过程:欧洲政治经济学杂志》(Procesos de Mercado: revista europea de economía política)的创始编辑,这本杂志每年两期用联盟的官方语言刊登关于奥地利学派的文章。

68. しかし ひも理論を含む 最近の物理学理論は 異なる性質と 違った法則にしたがう 違ったタイプの素粒子からなる 無数の別の宇宙の 存在の可能性を告げています

然而,物理学最近的理论显示,包括弦理论, 告诉我们世界上可能会有数不完的其他宇宙 由不同于我们的宇宙的微粒组成, 有不同的性质,遵循不同的规律。

69. しかし、もちろん一方では この事故によって、再び議論が起こっています 先端科学技術に関する価値について これを論破するのは簡単です

很明显现在,一方面 这些事故重新激化了关于 前沿科学和工程学的辩论,但这些很容易被反驳

70. 「9世紀にギリシャの哲学と論理が導入されて,独特のイスラム哲学(ファルサーファ)が起こり,そのためにイスラム教の合理主義的かつ神学的な外観は広範囲に及ぶ影響を受けた。

《哥伦比亚世界史》评论说:“第九世纪所引进的希腊哲学和论理学导致一种独特的伊斯兰哲学(falsafa),它对于伊斯兰教的理性主义和神学观点具有深远的影响。

71. ここで示しているような反応性システムの設計だけでなく、有限オートマトンは電気工学、言語学、計算機科学、哲学、生物学、数学、論理学など様々な領域で利用される。

除了建模这里介绍的反应系统之外,有限状态自动机在很多不同领域中是重要的,包括电子工程、语言学、计算机科学、哲学、生物学、数学和逻辑学。

72. 1983年2月、中国人民解放軍空軍航空修理第二職工大学設立。

1983年2月,建立中国人民解放军空军航空修理第二职工大学。

73. 数学歴史家のF. Woepckeは、アル=カラジを「最初に代数的な微分積分学の理論を導入した者」として賞賛した。

数学史学家 F.Woepcke,赞扬Al-Karaji是“引入代数微积分理论的第一人。

74. こうして,世俗的な社会的人道主義が存在するようになり,そこから次に,現代の世界の哲学理論および社会学理論の大半が生み出されることになった」と,宗教百科事典は述べています。

一种世俗的、社会的人文主义遂告产生,这又进一步促成了现代世界大多数的哲学和社会学理论。”

75. 物理学者フリーマン・ダイソンは,この二面的な取り組みについて,「科学と宗教は,人間が外界の大宇宙を理解しようとしてのぞき込む二つの窓である」と説明しています。

对于这种认识世界的双重角度,物理学家弗里曼·戴森这样解释:“科学和宗教好比两扇窗子,人们透过窗子向外张望,试图理解外面那茫茫宇宙。”

76. en:probabilistic argumentation理論では、確率は直接論理命題に付与されていない。

在概率论证理论中,概率不直接附加到逻辑句子上。

77. この理論はシンプルでエレガントな上 この理論はシンプルでエレガントな上 「土」「空気」「火」「水」の理論よりも ずっと正しいものでした

这个理论简单而优美, 而且比起四元素说 它更有希望被证实。

78. 彼の姉、Inna Obraztsovaはレニングラードのコンサバトリー(音楽学校)を卒業し、作曲家、音楽理論の講師となった。

他的姐姐娜Obraztsova毕业于列宁格勒音乐学院,成为一名作曲家和音乐理论的讲师。

79. 音楽理論において非常に重要であり、十二平均律における半音の周波数比を表わす。

它是音樂理論中的一個重要常數,它代表了十二平均律中半音的頻率比。

80. もう1つ(SS.282-388)は、幾何学における統一原理としての、幾何学と群論における連続群についてだった。

第二篇(SS. 282-388)講述幾何內的連續群及以群論作為幾何的統一原則。