下記の集中講義が一か月後に予定されています。 大学院生向けですが、学部生・教員の参加も歓迎です。 内容：量子アルゴリズム 講義名：情報数理学続論A 講師：河内 亮周（三重大学）　世話人：萩原 学 開講日時：１１月２６，２７日（２，３，４，５限を目安とする） 教室：理学部２号館１０５室　（千葉大西千葉キャンパス） 概要： 量子情報科学の基礎知識から始めて， 黎明期の基本的な量子アルゴリズムを押さえた後， 代表的な量子アルゴリズムであるShorのアルゴリズムと Groverのアルゴリズムを学修する． さらにそれらを踏まえた量子特異値変換などの最近の進展にも触れる． ２６日の夜は懇親会 with 千葉大ビールを予定しています。 学外から参加を希望される方は、１１月１６日までに私へ連絡ください。

来年度、うちの学科（数学・情報数理学）の学部生向けに定理証明支援系ＬＥＡＮの講義を持つ可能性が濃厚になってきた。 これからの数学研究に必須な雰囲気だもんね。 うちの学科はすでに１０年位前に学生・教員で勉強会を開催するなど、定理証明支援系が来るっ、て見込んでいたのが凄い。