2015年度 萩原研ゼミ(学部生・大学院生)


連絡:更新 2015年10月27日

◆研究成果
◇講演
・置換符号(入門講義)、
 萩原学、
 誤り訂正符号のワークショップ、
 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
・二元消失通信路のシャノン限界形式化とその形式的証明について、
 中野恭輔、
 平成27年度情報理論特別講演会
 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(博士後期)(10月から)
・中野 恭輔 (博士前期)
・植村 涼  (学部)
・田辺 智哉 (学部)
・佐々木 隆明(学部)(10月から)

◆研究テーマ
・符号理論の形式化:担当 中野
テキスト 前期:Modern Coding Theory by Richardson and Urbanke, Cambridge, 2008.
千葉大学内からはPDFファイルでダウンロード可能。こちらをクリック

・代数的符号理論:担当 植村、田辺
テキスト 前期:Finite Fields, Lidl and Niederreiter, Cambridge, 1997.
千葉大学内からはPDFファイルでダウンロード可能。こちらをクリック

テキスト 後期:符号理論, 今井秀樹, 電子情報通信学会, 1900.

◆ゼミの進め方
話者は
テキストをベースとした講義
を90分~180分程度行う。

学生は
聴講と質問(最低1回)
を行う。

ゼミの準備はリンク先を参照のこと。

他、連絡事項、今後の進め方等を共有する。

◆開催場所
理学部2号館6階616室

◆スケジュール
Aゼミ: 学部ゼミ
Bゼミ: 大学院ゼミ
2015年 4月
15日(水)  9:00-11:30 Aゼミ(話者:田辺)
15日(水) 13:30-16:30 Bゼミ(話者:中野)
22日(水)  9:00-11:30 Aゼミ(話者:植村)
22日(水) 13:30-16:30 Bゼミ(話者:中野)

2015年 5月
13日(水)-14日(木) モダン符号の形式化研究打ち合わせ@和歌山 (萩原、中野)
20日(水)  9:00-11:30 Aゼミ(話者:田辺)
20日(水) 13:30-16:30 Bゼミ(話者:中野)
27日(水)  9:00-11:30 Aゼミ(話者:植村)
27日(水) 13:30-16:30 Bゼミ(話者:中野)

2015年 6月
3日(水)  9:00-11:30 Aゼミ(話者:田辺)
3日(水) 13:30-16:30 Bゼミ(話者:中野)
10日(水)  9:00-11:30 Aゼミ(話者:植村)
10日(水) 13:30-16:30 Bゼミ(話者:中野)
17日(水)  9:00-11:30 Aゼミ(話者:田辺)
17日(水) 13:30-16:30 Bゼミ(話者:中野)
19日(金) 代数的組合せ論勉強会@都内(1/3)
24日(水)  9:00-11:30 Aゼミ(話者:植村)
24日(水) 13:30-16:30 Bゼミ(話者:中野)

2015年 7月
1日(水)  9:00-11:30 Aゼミ(話者:田辺)
1日(水) 13:30-16:30 Bゼミ(話者:中野)
8日(水)-10日(金) 京都大学RIMS「デザイン、符号、グラフおよびその周辺」@京都(萩原)
13日(月)-17日(金) 研究集会CICM ワシントン【LINK】(萩原)
22日(水)  9:00-11:30 Bゼミ(話者:中野)
22日(水) 13:30-16:30 Aゼミ(話者:植村)⇒前期打ち上げ
29日(水) 13:30-16:30 Bゼミ(話者:中野)

2015年 8月
3日-8日のどれか 代数的組合せ論勉強会@千葉大学(2/3)

2015年 9月
3日-5日 誤り訂正符号のワークショップ@石川県加賀市(金沢ではなかった)(萩原、中野)
会場 白山菖蒲亭。宿のHPはこちら
25日ー10月4日 研究打ち合わせ@ハワイ大学(萩原、中野)
下旬 SITA2015 論文投稿締切(中野、萩原)

2015年10月
6日(火) 12:10-12:40 あかりんアワー(話者:萩原)@アカデミックリンクセンター
14日(水)  9:00-11:00 AB合同ゼミ(今後の進め方の打ち合わせ)
14日~17日 代数的組合せ論勉強会@琉球大学(萩原、中野)
21日(水)  9:00-11:30 Aゼミ(話者:植村)
21日(水) 13:30-17:00 Bゼミ(話者:Kong)
28日(水)  9:00-11:00 Aゼミ(話者:田辺) ⇒ ランチ焼き肉
28日(水) 13:30-17:00 Bゼミ(話者:中野)
29日(木) 10:30-17:40 内川先生の講義を受講 or 聴講

2015年11月
 5日(木) 10:30-17:40 内川先生の講義を受講 or 聴講
11日(水)  9:00-11:30 Aゼミ(話者:佐々木)
       13:30-14:30 Bゼミ(話者:中野、SITA2015の発表練習)
13日(金) 10:30-17:40 内川先生の講義を受講 or 聴講
18日(水) 10:30-17:40 三村先生の講義を受講 or 聴講
19日(木) 10:30-17:40 三村先生の講義を受講 or 聴講
20日(金) 12:50-17:40 内川先生の講義を受講 or 聴講
24日ー27日 SITA2015@岡山(発表:中野、萩原。参加:Kong)

2015年12月
 9日(水) 13:30-17:00 Bゼミ(話者:Kong)
16日(水)  9:00-9:30 SITAの報告(話者:中野。研究室で情報共有すべき発表内容(萩原、中野の発表を除く)を、
                          火・水・木からそれぞれ1つずつ詳しく紹介。)
        9:30-11:30 Aゼミ(話者:植村)
       13:30-17:00 Bゼミ(話者:中野)
18日-19日 関西学生勉強会(発表:中野)

2015年1月
13日(水)  9:00-11:30 Aゼミ(話者:田辺)
       13:30-17:00 Bゼミ(話者:Kong)
20日(水)  9:00-11:30 Aゼミ(話者:佐々木)
       13:30-17:00 Bゼミ(話者:中野)
27日(水)  9:00-11:30 Aゼミ(話者:植村)
       13:30-17:00 Bゼミ(話者:Kong)

24日(日) ISIT2016【LINK】 論文投稿締切(Kong, 中野?、萩原)

2015年2月
3日(水)  9:00-11:30 Aゼミ(話者:田辺)
      13:30-17:00 Bゼミ(話者:中野)
10日(水)  9:00-11:30 Aゼミ(話者:佐々木)
       13:30-17:00 Bゼミ(話者:Kong)
17日(水)  9:00-11:30 Bゼミ(話者:Kong、中野)
       13:30-17:00 Aゼミ(話者:植村)→ 打ち上げ

◆モダン符号の形式化、研究打ち合わせは5月から隔月。
◆ISITA2016の開催地はバルセロナ。
◆打ち上げのお店はお酒の美味しいところが望ましい。
◆代数的組合せ論勉強会のテキストはAlgebraic Combinatorics, Stanley。
千葉大学内からはPDFファイルでダウンロード可能。こちらをクリック


「2015年度 萩原研ゼミ(学部生・大学院生)」への1件のフィードバック

コメントは停止中です。