萩谷 昌己
| 名前 | 萩谷 昌己 / HAGIYA Masami |
|---|---|
| 学位 | 理学博士（京都大学） |
| 職名 | 特命教授 |
| 所属 | 大学院情報理工学系研究科
コンピュータ科学専攻コンピュータ科学講座 |
| 所属サイトURL | http://www.i.u-tokyo.ac.jp/ |
| 専門分野 | コンピュータ科学 |
| 研究テーマ | 計算モデルの解析・検証・合成 |
| 研究テーマに関するキーワード | 計算理論，プログラム理論，数理論理学，プログラム言語論，ソフトウェア工学，形式手法，分子計算，生命分子計算，DNAコンピュータ |
| 実績等URL | http://hagi.is.s.u-tokyo.ac.jp/index.html |
| Scopusページへのリンク | Scopus |
科研費（最新10件）
| 審査区分／研究分野 | |
|---|---|
| 研究課題キーワード |
研究課題
関連するページ
- [Events] 第4回Beyond AI 研究推進機構 国際シンポジウム
- [Events] 生成AI時代の情報教育―AIリテラシー・情報活用能力・プログラミング教育の未来
- [Events] Beyond AI研究推進機構 ポスター発表会
- [Articles] 第3回 Beyond AI国際シンポジウム 動画を公開
- [Events] 第3回 Beyond AI研究推進機構 国際シンポジウム
- [Events] 第2回 Beyond AI 研究推進機構 国際シンポジウム
- [Events] 実データで学ぶ人工知能講座（AI データフロンティアコース）2019年度後期受講生募集のご案内
- [Press releases] 東大SICT研究センター主催シンポジウム：個人データ解析・流通と今後の社会システムの在り方
