コンピュータ科学科

研究内容

形式言語理論やソフトウェア基礎理論の研究とともに、それらの理論を応用して現実世界をモデル化し問題解決することに興味をもっています。研究では、なぜ問題がうまく解けたのか（もしくは、解けなかったのか）を客観的に理解することも重要だ ...

研究内容

コンピュータの中には、コンピュータの頭脳であるCPU（Central Processing Unit）があります。実はこのCPU、近年では複数のコア（実際に計算を行う中の人）を内包することが一般的で、例えばiPhone

研究内容集積回路の潜在能力を引き出す設計技術

　私たちが日々利用する情報技術は、全て集積回路を利用しています。集積回路には、数10億個などの膨大な数のトランジスタ (回路を構成する基本パーツ) が搭載されていますが、実はこれらのトランジ ...

研究内容

現在、インターネットが日常生活に必要不可欠なものとなっている一方で、マルウェア感染や組織への標的型攻撃など金銭取得を目的とした組織的な活動による問題も発生している。そこで我々は、安全にインターネットが利用できる環境の実現を目的 ...

研究内容

スーパーコンピュータなどの高性能な計算ハードウェアの活用なくして、現代の便利な生活もさらなる科学の発展もありえません。計算ハードウェアの性能を最大限に発揮するためにはそれに見合うソフトウェアが必要ですが、ハードウェアの特徴・特 ...

研究内容

形式言語理論に関する研究と、それらの知見を利用してシステムの安全性などの検証法に関する研究に興味をもって取り組んでいる。具体的には、木変換器などの形式モデルなどの基礎研究や、それらを利用してXML文書などの構造化データに対する ...

プロフィール

名古屋大学 大学院情報学研究科 附属組込みシステム研究センター 准教授
（情報システム学専攻 情報プラットフォーム論講座 所属）

個人ウェブサイト:
E-Mail: yoshida AT ert ...

日本ではAIといえば機械学習を思い浮かべることが多いかと思います。機械学習では人の知識を使わずに、データ から得られる情報のみにより知識の習得を行いますが、その一方でChatGPTのデータが不正確で当てにならない と話題になったりして ...