連絡：更新 ２０１５年１０月２７日
◆研究成果
◇講演
・置換符号（入門講義）、
萩原学、
誤り訂正符号のワークショップ、
2015/9
・置換符号（入門講義）、
萩原学、
誤り訂正符号のワークショップ、
2015/9
・Formalization of the Channel Capacity of Binary Erasure Channel in Coq/SSReflect、
Kyosuke Nakano、
Workshop on Formalization of Applied Mathematical Systems,
2015/9
・Coq/SSReflectによる二元消失通信路の通信路容量の形式化、
中野恭輔、萩原学、
情報理論とその応用シンポジウム、
2015/11
・順序のある代数系上の挿入削除誤り訂正符号、
萩原学、
情報理論とその応用シンポジウム、
2015/11
・二元消失通信路のシャノン限界形式化とその形式的証明について、
中野恭輔、
平成２７年度情報理論特別講演会
2015/12
・多重挿入／削除誤り訂正符号の構成と表現、
萩原学、
実験計画法と符号および関連する組合せ構造、
2015/12
・多重挿入／削除誤り訂正符号の順序付代数による構成とその表現、
萩原学、
琉球大学理学部セミナー、
2015/12
◇論文・予稿集等
・Coq/SSReflectによる二元消失通信路の通信路容量の形式化、
中野恭輔、萩原学、
情報理論とその応用シンポジウム予稿集、
pp.752-757、
2015/11
・順序のある代数系上の挿入削除誤り訂正符号、
萩原学
情報理論とその応用シンポジウム予稿集、
pp.469-474、
2015/11
・A short proof for the multi-deletion error correction property of Helberg codes,
IEICE Communication Express,
Manabu Hagiwara,
Vol.5 (2016), No.2, pp.49-51,
DOI: http://doi.org/10.1587/comex.2015XBL0182
◆メンバー
・Justin Kong（博士後期）（１０月から）
・中野 恭輔 （博士前期）
・植村 涼 （学部）
・田辺 智哉 （学部）
・佐々木 隆明（学部）（１０月から）
◆研究テーマ
・符号理論の形式化：担当 中野
テキスト 前期：Modern Coding Theory by Richardson and Urbanke, Cambridge, 2008.
千葉大学内からはＰＤＦファイルでダウンロード可能。こちらをクリック。
・代数的符号理論：担当 植村、田辺
テキスト 前期：Finite Fields, Lidl and Niederreiter, Cambridge, 1997.
千葉大学内からはＰＤＦファイルでダウンロード可能。こちらをクリック。
テキスト 後期：符号理論, 今井秀樹, 電子情報通信学会, 1900.
◆ゼミの進め方
話者は
テキストをベースとした講義
を９０分～１８０分程度行う。
学生は
聴講と質問（最低１回）
を行う。
ゼミの準備はリンク先を参照のこと。
他、連絡事項、今後の進め方等を共有する。
◆開催場所
理学部２号館６階６１６室
◆スケジュール
Ａゼミ： 学部ゼミ
Ｂゼミ： 大学院ゼミ
２０１５年 ４月
１５日（水） ９：００－１１：３０ Ａゼミ（話者：田辺）
１５日（水） １３：３０－１６：３０ Ｂゼミ（話者：中野）
２２日（水） ９：００－１１：３０ Ａゼミ（話者：植村）
２２日（水） １３：３０－１６：３０ Ｂゼミ（話者：中野）
２０１５年 ５月
１３日（水）－１４日（木） モダン符号の形式化研究打ち合わせ＠和歌山 （萩原、中野）
２０日（水） ９：００－１１：３０ Ａゼミ（話者：田辺）
２０日（水） １３：３０－１６：３０ Ｂゼミ（話者：中野）
２７日（水） ９：００－１１：３０ Ａゼミ（話者：植村）
２７日（水） １３：３０－１６：３０ Ｂゼミ（話者：中野）
２０１５年 ６月
３日（水） ９：００－１１：３０ Ａゼミ（話者：田辺）
３日（水） １３：３０－１６：３０ Ｂゼミ（話者：中野）
１０日（水） ９：００－１１：３０ Ａゼミ（話者：植村）
１０日（水） １３：３０－１６：３０ Ｂゼミ（話者：中野）
１７日（水） ９：００－１１：３０ Ａゼミ（話者：田辺）
１７日（水） １３：３０－１６：３０ Ｂゼミ（話者：中野）
１９日（金） 代数的組合せ論勉強会＠都内（１／３）
２４日（水） ９：００－１１：３０ Ａゼミ（話者：植村）
２４日（水） １３：３０－１６：３０ Ｂゼミ（話者：中野）
２０１５年 ７月
１日（水） ９：００－１１：３０ Ａゼミ（話者：田辺）
１日（水） １３：３０－１６：３０ Ｂゼミ（話者：中野）
８日（水）－１０日（金） 京都大学ＲＩＭＳ「デザイン、符号、グラフおよびその周辺」＠京都（萩原）
１３日（月）－１７日（金） 研究集会CICM ワシントン【ＬＩＮＫ】（萩原）
２２日（水） ９：００－１１：３０ Ｂゼミ（話者：中野）
２２日（水） １３：３０－１６：３０ Ａゼミ（話者：植村）⇒前期打ち上げ
２９日（水） １３：３０－１６：３０ Ｂゼミ（話者：中野）
２０１５年 ８月
３日－８日のどれか 代数的組合せ論勉強会＠千葉大学（２／３）
２０１５年 ９月
３日－５日 誤り訂正符号のワークショップ＠石川県加賀市（金沢ではなかった）（萩原、中野）
会場 白山菖蒲亭。宿のHPはこちら。
２５日ー１０月４日 研究打ち合わせ＠ハワイ大学（萩原、中野）
下旬 ＳＩＴＡ２０１５ 論文投稿締切（中野、萩原）
２０１５年１０月
６日（火） １２：１０－１２：４０ あかりんアワー（話者：萩原）＠アカデミックリンクセンター
１４日（水） ９：００－１１：００ ＡＢ合同ゼミ（今後の進め方の打ち合わせ）
１４日～１７日 代数的組合せ論勉強会＠琉球大学（萩原、中野）
２１日（水） ９：００－１１：３０ Ａゼミ（話者：植村）
２１日（水） １３：３０－１７：００ Ｂゼミ（話者：Kong）
２８日（水） ９：００－１１：００ Ａゼミ（話者：田辺） ⇒ ランチ焼き肉
２８日（水） １３：３０－１７：００ Ｂゼミ（話者：中野）
２９日（木） １０：３０－１７：４０ 内川先生の講義を受講 or 聴講
２０１５年１１月
５日（木） １０：３０－１７：４０ 内川先生の講義を受講 or 聴講
１１日（水） ９：００－１１：３０ Ａゼミ（話者：佐々木）
１３：３０－１４：３０ Ｂゼミ（話者：中野、ＳＩＴＡ２０１５の発表練習）
１３日（金） １０：３０－１７：４０ 内川先生の講義を受講 or 聴講
１８日（水） １０：３０－１７：４０ 三村先生の講義を受講 or 聴講
１９日（木） １０：３０－１７：４０ 三村先生の講義を受講 or 聴講
２０日（金） １２：５０－１７：４０ 内川先生の講義を受講 or 聴講
２４日ー２７日 ＳＩＴＡ２０１５＠岡山（発表：中野、萩原。参加：Kong）
２０１５年１２月
９日（水） １３：３０－１７：００ Ｂゼミ（話者：Kong）
１６日（水） ９：００－９：３０ ＳＩＴＡの報告（話者：中野。研究室で情報共有すべき発表内容（萩原、中野の発表を除く）を、
火・水・木からそれぞれ１つずつ詳しく紹介。）
９：３０－１１：３０ Ａゼミ（話者：植村）
１３：３０－１７：００ Ｂゼミ（話者：中野）
１８日－１９日 関西学生勉強会（発表：中野）
２０１５年１月
１３日（水） ９：００－１１：３０ Ａゼミ（話者：田辺）
１３：３０－１７：００ Ｂゼミ（話者：Kong）
２０日（水） ９：００－１１：３０ Ａゼミ（話者：佐々木）
１３：３０－１７：００ Ｂゼミ（話者：中野）
２７日（水） ９：００－１１：３０ Ａゼミ（話者：植村）
１３：３０－１７：００ Ｂゼミ（話者：Kong）
２４日（日） ＩＳＩＴ２０１６【ＬＩＮＫ】 論文投稿締切（Kong, 中野？、萩原）
２０１５年２月
３日（水） ９：００－１１：３０ Ａゼミ（話者：田辺）
１３：３０－１７：００ Ｂゼミ（話者：中野）
１０日（水） ９：００－１１：３０ Ａゼミ（話者：佐々木）
１３：３０－１７：００ Ｂゼミ（話者：Kong）
１７日（水） ９：００－１１：３０ Ｂゼミ（話者：Kong、中野）
１３：３０－１７：００ Ａゼミ（話者：植村）→ 打ち上げ
◆モダン符号の形式化、研究打ち合わせは５月から隔月。
◆ＩＳＩＴＡ２０１６の開催地はバルセロナ。
◆打ち上げのお店はお酒の美味しいところが望ましい。
◆代数的組合せ論勉強会のテキストはAlgebraic Combinatorics, Stanley。
千葉大学内からはＰＤＦファイルでダウンロード可能。こちらをクリック。
