ブラウザよりも高速アクセス！
15 関係: 名誉教授、ミラノ、ラムダ計算、ローマ・ラ・サピエンツァ大学、ローザンヌ大学、イタリア、エドガー・ダイクストラ、計算機科学、関数型言語、電気工学、構造化プログラミング、1923年、1946年、1966年、1月17日。
名誉教授
名誉教授（めいよきょうじゅ、professor emeritus / emeritus professor）とは、国内法では大学（短期大学を含む）、高等専門学校などの高等教育機関に教授などとして勤務した者であって、功績のあった者に対して授与される称号。法的･国際的に認められた栄誉称号であり学術称号の一つ。日本では学校教育法にその根拠規定があり、それぞれ大学または高等専門学校の規程・規則の定めるところにより授与される。.
新しい！!: コラド・ベームと名誉教授 · 続きを見る »
ミラノ
ミラノ（Milano）は、イタリアで最大の都市圏人口を擁する都市で、ミラノ県の県都およびロンバルディア州の州都である。ヨーロッパ有数の世界都市。イタリア語のアクセントの関係でミラーノと記されることもある。英語ではミラン（Milan）、フランス語ではミラン（Milan）、ドイツ語ではマイラント（Mailand）、スペイン語ではミラン（Milán）、ラテン語ではメディオラーヌム（Mediolanum）と言う。.
新しい！!: コラド・ベームとミラノ · 続きを見る »
ラムダ計算
ラムダ計算（ラムダけいさん、lambda calculus）は、計算模型のひとつで、計算の実行を関数への引数の評価（evaluation）と適用（application）としてモデル化・抽象化した計算体系である。ラムダ算法とも言う。関数を表現する式に文字ラムダ (λ) を使うという慣習からその名がある。アロンゾ・チャーチとスティーヴン・コール・クリーネによって1930年代に考案された。1936年にチャーチはラムダ計算を用いて一階述語論理の決定可能性問題を（否定的に）解いた。ラムダ計算は「計算可能な関数」とはなにかを定義するために用いられることもある。計算の意味論や型理論など、計算機科学のいろいろなところで使われており、特にLISP、ML、Haskellといった関数型プログラミング言語の理論的基盤として、その誕生に大きな役割を果たした。 ラムダ計算は1つの変換規則（変数置換）と1つの関数定義規則のみを持つ、最小の（ユニバーサルな）プログラミング言語であるということもできる。ここでいう「ユニバーサルな」とは、全ての計算可能な関数が表現でき正しく評価されるという意味である。これは、ラムダ計算がチューリングマシンと等価な数理モデルであることを意味している。チューリングマシンがハードウェア的なモデル化であるのに対し、ラムダ計算はよりソフトウェア的なアプローチをとっている。 この記事ではチャーチが提唱した元来のいわゆる「型無しラムダ計算」について述べている。その後これを元にして「型付きラムダ計算」という体系も提唱されている。.
新しい！!: コラド・ベームとラムダ計算 · 続きを見る »
ローマ・ラ・サピエンツァ大学
ーマ・ラ・サピエンツァ大学（Sapienza – Università di Roma）はイタリア共和国の国公立大学で、首都ローマに位置する。イタリアのみならず欧州でも屈指の歴史を持ち、その起源は中世時代の1303年にまで遡る事ができる。現在の学生数は11万8655名に達し、21の学部を持つ西ヨーロッパで最大規模の大学である。 簡潔に「ローマ大学」と呼ばれる場合もあるが、ローマ市内には第二次世界大戦後に設立された二つの国公立大学（ローマ・トル・ヴェルガータ大学、ローマ・トレ大学）が存在する為、「ローマ大学のサピエンツァ校（サピエンツァは英語のwisdomと同義）」を意味するローマ・ラ・サピエンツァの別名で呼称されている。また三校を纏めてローマ第一大学（サピエンツァ）、ローマ第二大学（トル・ヴェルガータ）、ローマ第三大学（トレ）と呼ぶ場合もある。.
新しい！!: コラド・ベームとローマ・ラ・サピエンツァ大学 · 続きを見る »
ローザンヌ大学
ーザンヌ大学（英語：University of Lausanne、フランス語：Université de Lausanne）は、スイス・ヴォー州の州都ローザンヌにある大学。UNIL（ユニール）の愛称で呼ばれている。.
新しい！!: コラド・ベームとローザンヌ大学 · 続きを見る »
イタリア
イタリア共和国（イタリアきょうわこく, IPA:, Repubblica Italiana）、通称イタリアは南ヨーロッパにおける単一国家、議会制共和国である。総面積は301,338平方キロメートル (km2) で、イタリアではロスティバル（lo Stivale）と称されるブーツ状の国土をしており、国土の大部分は温帯に属する。地中海性気候が農業と歴史に大きく影響している。.
新しい！!: コラド・ベームとイタリア · 続きを見る »
エドガー・ダイクストラ
ドガー・ダイクストラ（Edsger Wybe Dijkstra, 1930年5月11日 - 2002年8月6日）は、オランダ人の計算機科学者。1972年、プログラミング言語の基礎研究への貢献に対してチューリング賞を受賞。構造化プログラミングの提唱者。1984年から2002年に亡くなるまでテキサス大学オースティン校の計算機科学の Schlumberger Centennial Chair を務めた。 2002年の死の直前、プログラム計算のについての仕事に対して ACM PODC Influential Paper Award を授与された。この賞は翌年からダイクストラを称えてと呼ばれるようになった。 エズガー・ダイクストラと表記されることもある。オランダ語での発音は、IPA表記で で、エツハー・ウィベ・デイクストラに近い。.
新しい！!: コラド・ベームとエドガー・ダイクストラ · 続きを見る »
計算機科学
計算機科学（けいさんきかがく、computer science、コンピュータ科学）とは、情報と計算の理論的基礎、及びそのコンピュータ上への実装と応用に関する研究分野である。計算機科学には様々な下位領域がある。コンピュータグラフィックスのように特定の処理に集中する領域もあれば、計算理論のように数学的な理論に関する領域もある。またある領域は計算の実装を試みることに集中している。例えば、プログラミング言語理論は計算を記述する手法に関する学問領域であり、プログラミングは特定のプログラミング言語を使って問題を解決する領域である。.
新しい！!: コラド・ベームと計算機科学 · 続きを見る »
関数型言語
関数型言語（かんすうがたげんご、functional language）は、以下に述べる関数型プログラミングを基本スタイルとして推奨する機能を持つプログラミング言語、関数型プログラミング言語の略称である。.
新しい！!: コラド・ベームと関数型言語 · 続きを見る »
電気工学
電気工学（でんきこうがく、electrical engineering）は、電気や磁気、光（電磁波）の研究や応用を取り扱う工学分野である。電気磁気現象が広汎な応用範囲を持つ根源的な現象であるため、通信工学、電子工学をはじめ、派生した技術でそれぞれまた学問分野を形成している。電気の特徴として「エネルギーの輸送手段」としても「情報の伝達媒体」としても大変有用であることが挙げられる。この観点から、前者を「強電」、後者を「弱電」と二分される。.
新しい！!: コラド・ベームと電気工学 · 続きを見る »
構造化プログラミング
構造化プログラミング（こうぞうかプログラミング、structured programming）は、1960年代後半にエドガー・ダイクストラらによって提唱された、構造化されたプログラムの構成要素（制御構造）の利用や、 p.49)-->段階的詳細化などを特徴とするプログラミング手法である。.
新しい！!: コラド・ベームと構造化プログラミング · 続きを見る »
1923年
記載なし。
新しい！!: コラド・ベームと1923年 · 続きを見る »
1946年
記載なし。
新しい！!: コラド・ベームと1946年 · 続きを見る »
1966年
記載なし。
新しい！!: コラド・ベームと1966年 · 続きを見る »
1月17日
1月17日（いちがつじゅうななにち、いちがつじゅうしちにち）は、グレゴリオ暦で年始から17日目に当たり、年末まであと348日（閏年では349日）ある。.
新しい！!: コラド・ベームと1月17日 · 続きを見る »
