名古屋市立大学　手塚研究室
暗号理論・理論計算機科学

本研究室では理論的な研究を行っており，数学的な定式化や証明，計算量の解析が研究活動の中心です．そのため，本研究室の研究では，多くの場合プログラミングが不要です．

教員が「コンピュータリテラシー」や「プログラミングI演習」を担当していることから，Web開発やプログラミングを行う研究室だと誤解されることがあります．しかし，担当授業の内容と研究内容は大きく異なることに注意が必要です．この点を十分に理解せずに研究室を選択すると，ミスマッチが生じる可能性があります．

実際に，3年次の「総合理学実習」において，研究内容を十分にイメージできないまま本研究室を選択し，ミスマッチが生じた例がありました．「総合理学実習」は研究を体験するための試行的な期間であるため，仮にミスマッチが生じても，　3年後期からの研究室本配属の希望調査で修正できます．一方，本配属後にミスマッチが判明した場合には，その後の学生生活や研究活動に大きな負担が生じます．本研究室への配属を検討する際には，研究内容や研究の進め方を本Webページの配属希望の方へを十分確認してください．

また，暗号理論を含む理論計算機科学では，プログラミング実装能力の高さと本研究の適性は必ずしも一致しないことに注意してください．プログラミングによって動くものを作ることが好きであっても，「アルゴリズムが正しい解を出力することをどのように証明するのか」「計算時間を理論的にどのように解析するのか」といった理論的な問いに関心をもてることが重要です．このような理論的な問いに関心がない場合には，本研究室の研究内容との間にミスマッチが生じます．逆に，C言語などを用いて実装することは得意でなくとも，アルゴリズムの理論的な解析に関心があり，数学的な議論や証明に取り組む意欲がある人は，本研究室の研究内容と相性が良い可能性があります．