タネル・タメット | |
|---|---|
2008 年の Tanel Tammet。 | |
| 生まれる | 1965年5月16日 |
| 教育 | タルトゥ大学 チャルマース工科大学(博士号、1992) |
| 知られている | 自動定理証明ガンダルフ エストニア緑の党創設者 |
| 子供たち | 2 |
| 受賞歴 | 白星勲章 |
| 科学者としてのキャリア | |
| フィールド | コンピュータサイエンス |
| 機関 | タリン工科大学 |
| 論文 | (1992年) |
タネル・タメットはエストニアのコンピュータ科学者、教授、ソフトウェアエンジニア、コンピュータプログラマーです。彼はエストニア緑の党の創立メンバーの一人であり[1] 、タリンのITカレッジの設立にも貢献しました。
人生とキャリア
1965年生まれのタメットは、父親が物理学部に勤めていたことから、タルトゥ大学のコンピュータに早くから触れる機会があった。[2]その結果、同大学の応用数学部を卒業し、情報技術を専攻した。自動定理証明に興味を持ち、1992年にヨーテボリ・チャルマース工科大学で博士号を取得した。 [3]その10年間の大半をスウェーデンで過ごし、その後タリンに戻った。
タメットは、自動定理証明プログラム「ガンダルフ」で国際的に有名になった。同プログラムは、1997年から2003年の間に、自動演繹会議(CADE)CASCコンペティションのさまざまな部門で6回優勝した。 [4]彼は、NATO研究技術機構の情報システム技術パネルのエストニア代表を務め、サイバーセキュリティについて執筆した。[5] [6]彼は、人工知能について頻繁に教えたり講演したりしており[7] 、原始的で分散した形ではあるが、人工知能はすでに存在していると主張している。[8]
2006年から、タメットはエストニア緑の党の創立メンバーおよび理事を務めた。[1]同党は翌年、全国投票の7.1%を獲得してリーギコグに選出され、6議席を獲得した。2010年、2009年の欧州議会選挙と地方選挙での選挙失敗後の緊張が高まる中、タメットは他の19人の党員とともに党から追放された。 [9]その後、同党は2011年の議会選挙で必要な最低得票率5%に届かず、勢いを失った。[10]
タメットはタリン工科大学の教授であり、同大学のコンピュータサイエンス研究所の学部長でもある。[11]以前はタリンITカレッジの設立に携わり、2003年の設立当初から顧問を務めていた。 [12]タメットはタリンのサイバネティクス研究所でも働いていた。[13] 2012年には、Panoramio、 Wikipedia、Foursquare City Guideのデータを基に世界中の場所の人気度を視覚化するウェブサイトSightsmapを制作したことで注目を集めた[14] [15]。
タメットには2人の子供がいる。[13] 2002年に彼は白星勲章第5級を授与された。[16]
書籍
- タメット、タネル。Teejuht võrgumaailma、Tartu : Ilmamaa、1997. ISBN 9985821874
- タンメ、トゥヌ。タメット、タネル。いたずら、レイン。 Loogika: Mõtlemisest tõestamiseni、Tartu : Tartu Ülikooli Kirjastus、1997。ISBN 9985562313
参考文献
- ^ ab ラウン、アロ (2006 年 11 月 25 日)。 「Rohelized üritavad esimeheta hakkama saada(緑の党はリーダーなしで何とかやっていこうとするだろう)」。オンラインのポストタイム。 2013 年 2 月 13 日のオリジナルからアーカイブ。2012 年5 月 16 日に取得。
- ^ 「人物情報: Hannes Tammet」。エストニア研究ポータル。 2012年5月16日閲覧。
- ^ 「人物情報: Tanel Tammet」。エストニア研究ポータル。 2012年5月16日閲覧。
- ^ 「CADE ATP システム コンペティション」。CADE。マイアミ大学。2012年5 月 16 日閲覧。
- ^ タネル、タメット (2011 年 10 月 9 日)。 「Küberkaitsjad korraga kahes ülikoolis (2 つの大学で同時にサイバーセキュリティを実現)」。アルブティマールム。2012 年5 月 16 日に取得。
- ^ タネル、タメット (2005 年 11 月 30 日)。 「Külm kübersõda(冷たいサイバー戦争)」。エスティ・ペエヴァレヒト。2012 年5 月 16 日に取得。
- ^ “インターネット ja tehismõistuse tekkimine”.タリン工科大学。 Google ビデオ。2012 年5 月 16 日に取得。
- ^ アーサル、ヘイキ (2012 年 4 月 23 日)。 「Tanel Tammet: tehisintellekt on juba olemas (Tanel Tammet: 人工知能はすでに存在します)」。エラー。2012 年5 月 16 日に取得。
- ^ シルム、サンダー (2010 年 5 月 18 日)。 「Roheliste sisesõda: eelmise juhatuse liikmed visati erakonnast välja(緑の党の内戦:前理事会のメンバーは党から追放された)」。エフトゥレト。2012 年5 月 16 日に取得。
- ^ “エラコンド・エスティマー・ロヘリセズド (エストニアの緑の党)”. Eesti Erakondade Ajalugu (エストニアの政党の歴史)。エラコンナド.info。
- ^ 「Kontaktid (連絡先)」タリン工科大学。 2012年5月16日閲覧。
- ^ “評議員会”. ITカレッジ。2012 年5 月 16 日に取得。
- ^ ab 「タネル・タメット・ピーブ・ルードゥショイドゥ・ヴァバドゥセクス(タネル・タメットは環境保護主義を自由と同一視する)」。ペルソナ (人)。グリューネ。 2016 年 3 月 5 日のオリジナルからアーカイブ。2012 年5 月 16 日に取得。
- ^ Zhang, Michael (2012年1月23日). 「世界中の人気写真スポットの観光ヒートマップ」. PetaPixel . 2012年5月16日閲覧。
- ^ Newman, Leight (2012年1月25日). 「A Flash of Happiness」. Life Lif . 2012年5月16日閲覧。
- ^ 「勲章受章者」。エストニア国家勲章。エストニア大統領府。 2012年5月16日閲覧。
外部リンク
- Google サイトの個人ページ
- 観光マップ
