56709
57074
705632
%E3%82%A2%E3%83%9F%E3%83%BC%E3%83%AB%E3%83%BB%E3%83%97%E3%83%8C%E3%83%BC%E3%83%AA
%E3%82%A2%E3%83%9F%E3%83%BC%E3%83%AB%E3%83%BB%E3%83%97%E3%83%8C%E3%83%BC%E3%83%AA
%E3%82%A2%E3%83%9F%E3%83%BC%E3%83%AB%E3%83%BB%E3%83%97%E3%83%8C%E3%83%BC%E3%83%AA
%E3%82%A2%E3%83%9F%E3%83%BC%E3%83%AB%E3%83%BB%E3%83%97%E3%83%8C%E3%83%BC%E3%83%AA
%E3%82%A2%E3%83%9F%E3%83%BC%E3%83%AB%E3%83%BB%E3%83%97%E3%83%8C%E3%83%BC%E3%83%AA
0
|
|
|
ネットワーク
|
タグ
キーワード
|
|
|
|
|
|
|
|
|
|
|
|
|
つながりの強いひと
|
|
鰐淵晴子
東京都出身の女優。大西学園高校卒業。身長165cm、体重48kg。特技はバイオリン。父は鰐淵賢舟、母はオーストリア人で、日本人とオーストリア人（同民族という... |
|
|
加治屋義人
日本の政治家。自由民主党所属の参議院議員。古賀派所属。宏池会副会長。鹿児島市出身。 |
|
|
三宅一生
広島県広島市出身のファッションデザイナー。 |
|
|
松森正
日本の漫画家。広島県生まれ、熊本県玉名市出身。佐藤まさあきのアシスタントを経て、1984年の『黒い疾走の終わり』（「ヤングコミック」）でデビュー。主に... |
|
|
増本豊
日本中央競馬会・栗東トレーニングセンターに所属している調教師である。父は増本勇（元調教師）、おじは有限会社増本牧場の代表者増本一男、義兄弟に瀬戸口... |
|
|
ジャック・ニコルソン
アメリカ合衆国の俳優、プロデューサー、映画監督。ジャック・ニコルスンと表記される事もある。デビューから今日に至るまで計12回のアカデミー賞ノミネート... |
|
|
ジョン・ウォーターズ
ジョン・ウォーターズ（JohnWaters,1946年4月22日-）はアメリカ合衆国メリーランド州ボルチモア出身の映画監督・脚本家である。過激で下品なコメディで知られ... |
|
|
澤雄二
日本の政治家。公明党所属の参議院議員（1期）。 |
|
|
赤江瀑
日本の小説家。主に芸能や工芸の世界を舞台にした、耽美的、伝奇的な作風で、熱烈な支持者を持つ。『オイディプスの刃』で第1回角川小説賞を受賞、『海峡』『... |
|
|
増山江威子
日本の女優、声優。青二プロダクション所属。東京都出身。代表作は、『ルパン三世』シリーズの峰不二子、『天才バカボン』シリーズのバカボンのママ、『キュ... |
|
|
古葉竹識
熊本県熊本市出身のプロ野球選手・監督。旧名は「古葉毅」（読みは同じ、1964年に改名）。最終学歴は専修大学。広島東洋カープを球団史上初のリーグ優勝に導... |
|
|
中田譲治
日本の男性俳優・声優・ナレーター。大沢事務所所属。身長176cm。東京都出身。桐朋学園短期大学部卒業。愛称はジョージ、お譲さん。声優としての代表作に、『... |
|
|
冨田勲
日本の作曲家・編曲家・シンセシスト・シンセサイザー音楽作家である。 |
|
|
ピーター・フランプトン
ピーター・フランプトン（PeterFrampton、PeterKennethFrampton、1950年4月22日-）はイギリスのミュージシャン、歌手、ギタリスト。 |
|
|
琴千歳幸征
琴千歳幸征（ことちとせこうせい、1957年4月22日-）は北海道千歳市出身の元大相撲力士。佐渡ヶ嶽部屋所属。本名は山本稔（やまもとみのる）。身長182cm、体重... |
|
|
神垣雅行
大阪府出身の元プロ野球選手（内野手）。右投右打。 |
|
|
加賀乙彦
日本の小説家で精神科医。本名は小木貞孝（こぎさだたか）。 |
|
|
新川和江
日本の詩人。息子に作曲家・編曲家・キーボーディストの新川博がいる。 |
|
|
間嶋里美
間嶋里美（まじまさとみ、本名：古谷里美（ふるやさとみ）、旧姓：間嶋、1954年4月22日-）は日本の元女性声優。新潟県糸魚川市出身。以前は青二プロダクショ... |
|
|
プロフィール
アミール・プヌーリ、ア（ー）ミール・ペヌーエーリー、アミル・ペヌエリ（’a(ā)mīrpənū’ēlī;AmirPnueli、1941年4月22日-2009年11月2日）は、イスラエル人の計算機科学者。1996年、「計算機科学に時相論理を導入した独創的業績とプログラムやシステムの検証への多大な貢献に対して」チューリング賞を授与された。イスラエルのナハラルNahalalで生まれ、ハイファのイスラエル工科大学で数学の学士号を取得。ワイツマン科学研究所WeizmannInstituteofScienceで数学の博士号を取得した。学位論文テーマは"CalculationofTidesintheOcean"（海洋潮汐の計算）。スタンフォード大学でのポスドク期間中に計算機科学に転向。研究 ...
|
1981年
|
ワイツマン研究所の計算機科学の教授に就任 |
|
1996年
|
「計算機科学に時相論理を導入した独創的業績... |
|
投票数
0
| ふりがな |
|
| 性別 |
|
| 出身地 |
|
| 生年月日 |
|
| 血液型 |
|
| 職業 |
|
| 所属 |
|
| Twitter |
|
|
|
|
アミール・プヌーリさんについてのひとこと紹介
|
|
|
|
