[プロ グラ ム ] Program
Nov. 15 (Tue)
9:20 - 9:30 Opening
9:30 - 9:50 宮本泉 (山梨大学) Izumi Miyamoto (Yamanashi Univ.)”GAP の Normalizer 関数の 性能の 報告と 改 良の 試み””Performance of the GAP-function Normalizer and an attempt of its improvement”
9:50 -10:20 楢崎亮 (大阪大学) Ryo Narasaki (Osaka Univ.)”Character values と Dade 予想””Character values and Dade’s conjecture”
10:30-11:20 Gerhard Hiss (RWTH Aachen Univ.)”The Modular Atlas Project”
11:30-12:00 坂内英一, 小島洸二, 三枝崎剛 (九州大学) Eiichi Bannai, Koji Kojima, Tsuyoshi Miezaki(Kyushu Univ.)”モ ン スタ ー 群の 各 元の Thompson シ リ ー ズに 付随す る Hecke 多項式の 零点の 位置に つ い て ””Locations of the zeros of Hecke polynomials associated with the Thompson series of the elementsof the Monster”
12:00-12:30 Ahmad Erfanian (Ferdowsi Univ. Mashhad)”Probability of generating simple groups PSL(m,q)”(昼休み Lunch time）
14:00-14:30 Axel Kohnert (Univ. Bayreuth)”Construction of two-weight codes”
14:30-14:50 堀口直之 (千葉大学) Naoyuki Horiguchi (Chiba Univ.)”平方剰余符号か ら得られ る 長さ 44 の ternary extremal self-dual code の 分類””Classification of the ternary extremal self-dual codes of length 44 obtained from the quadratic
residue code”
15:00-15:50 田上 真 (九州大学) Makoto Tagami (Kyushu Univ.)”Musin に よ る ４次元 kissing number の 決定に つ い て の 解 説”
”Introduction of Musin’s work about the kissing number in 4 dimensions”
16:00-16:30 Mathieu DUTOUR (Institut Rudjer Boskovic), 伊藤栄明 (統計数理研究所) Yoshiaki ITOH(Inst. Statistical Mathematics), Alexei POYARKOV(Moscow State Univ.)”Cube packings, second moment and holes”
16:30-17:00 藤崎竜也 (筑波大学) Tatsuya Fujisaki (Tsukuba Univ.), Jack Koolen (Postech)”Twisted Grassmann graph の 局所構造に つ い て ””On the local structure of the twisted Grassmann graph”
Nov. 16 (Wed)10:00-10:20 森川良三 (首都大学東京) Ryozo Morikawa (Tokyo Metropolitan Univ.)”コン ピ ュー タ に よ る 数学的構造の 探索””Search of mathematical structures by aid of a computer”
1

10:20-10:40 河 本 進 (東北文化 学園大学), 渡辺 透 (上智大学), 和田秀男 (上智大学) Susumu Komoto(Tohoku
Bunka Gakuin Univ.), Toru Watanabe, Hideo Wada(Sophia University)”自然数 42553 は 合同数で あ る ””42553 is a congruent number”
10:40-11:00 我 妻正也, 早田 孝博 (山形大学) Masaya Wagatsuma, Takahiro Hayata (Yamagata Univ.)”三加 法鎖に つ い て ””On ternary addition chains”
11:10-11:40 赤間 陽二, 赤澤 豊, 飯塚 新司 (東北大学) Yohji Akama, Yutaka Akazawa, Shinji Iizuka(Tohoku Univ.)”切断射影集合と そ れ に 関す る タ イル張り の 非対称性””Asymmetries on cut-and-project sets and related tilings”
11:40-12:00 赤間陽二 (東北大学) Yohji Akama (Tohoku Univ.)”ラ ム ダ 計算の ため の 計算論的学習理論と そ の 応用””Computational Learning Theory for Lambda-calculus and its Applications”(昼休み Lunch time)
13:50-14:40 Aneesh Karve (Univ. Wisconsin-Madison)”Graphical interfaces for computer algebra systems”
14:50-15:10 松井鉄史 (首都大学東京) Tetsusi Matsui (Tokyo Metropolitan Univ.)”NZMATH – 開 発の こ れ ま で と こ れ か ら”
”NZMATH – past and future of the development”
15:10-15:40 Christine Abegail M. Antonio, 齋藤 健太郎, 田中 覚 , Janice S. Asuncion, 中村 憲 (首都大学東京) Christine Abegail M. Antonio, Kentaro Saito, Satoru Tanaka, Janice S. Asuncion, KenNakamula (Tokyo Metropolitan Univ.)”数論シ ステ ム NZMATH への 有限素体上の 楕円曲線, 超楕円曲線と 虚二次体の 実装””Implementation of imaginary quadratic fields and elliptic or hyperelliptic curves over finite prime
fields on the system NZMATH for number theory”
15:40-16:00 Julius Basilla (Univ. Philippines)”Computing the 2-part of the ideal class groups of a quadratic fields”
16:10-17:00 Claus Fieker (Univ. Sydney)”Galois groups - a challenge for computer algebra”
Nov. 17 (Thu)
10:00-10:40 長尾孝一 (関東学院大学) Koh-ichi Nagao (Kanto-Gakuin Univ.)”超楕円曲線の ヤ コビ アン 群の 指数計算法に つ い て ””On the Index Calculus for the Jacobian Group of Hyperelliptic Curves”
10:50-11:30 高島克幸 (三菱電機) Katsuyuki Takashima (Mitsubishi Electric Corporation)”あ る 種数 2 超楕円曲線ヤ コビ 多様体上の 効率的な 実乗法計算法と そ の 超楕円曲線暗号への 応用””An efficient algorithm for some real multiplications on Jacobians with application to hyperelliptic
curve cryptography”
11:30-12:00 西本啓一郎, 中村憲 (首都大学東京) Keiichiro Nishimoto, Ken Nakamula (Tokyo Metropolitan2Univ.)”二次体上の 量子公開 鍵暗号系の 鍵生成に 関す る 計算機実験””Computer experiment on key generation for the quantum public key cryptosystem over quadraticfields”(昼休み Lunch time)
13:50-14:40 Martijn Stam (Univ. Bristol)”Black-box secret sharing from primitive sets in algebraic number fields”
14:50-15:20 後藤丈志 (東京理科 大学) Takeshi Goto (Tokyo University of Science)”楕円曲線の セ ルマ ー 群と 奇グラ フ ””Odd graphs and Selmer groups of certain elliptic curves”
15:20-15:50 篠原直行 (九州大学) Naoyuki Shinohara (Kyushu Univ.)”Frobenius test に お け る 悪 条件””The bad conditions of Frobenius test”
16:00-16:30 岡 崎裕之 (信州大学) Hiroyuki Okazaki (Shinshu Univ.)”署名者同一性検証に つ い て の 考察””Notes on Linkability of Signature Schemes”
16:30-17:00 松本眞 (広島大学), 西村拓士 (山形大学), 斎藤睦夫 (広島大学), 萩田真理子 (お 茶の 水女子大学) Makoto Matsumoto (Hiroshima Univ.), Takuji Nishimura (Yamagata Univ.), Mutsuo Saito(Hiroshima Univ.), Mariko Hagita (Ochanomizu University)”スト リ ー ム 暗号 CryptMT””A Stream Cipher CryptMT”
18:00- 懇親会 (予定) Banquet (prearranged)
Nov. 18 (Fri)10:00-10:30 小松尚夫 (弘前大学) Takao Komatsu (Hirosaki Univ.)”長い 周期の 連分数”
”Continued fractions with long period”
10:30-11:00 鈴木 晃 (神戸大学) Akira Suzuki (Kobe Univ.)”媒介 変数を伴な う グレブ ナ ー 基底と そ れ を計算す る 新し い アルゴ リ ズム ”
”A new algorithm to compute comprehensieve Gröbner bases”
11:10-11:40 原本博史, 松本眞 (広島大学), 西村拓士 (山形大学) Hiroshi Haramoto, Makoto Matsumoto(Hiroshima Univ.), Takuji Nishimura (Yamagata Univ.)”擬似乱数の コイン 投げ 検定への 符号理論の 応用””A coin-tossing gambling test of pseudorandom number generators: an application of codingtheory”
11:40-12:10 鈴木登志雄, 川西暁夫 (大阪府立大学) Toshio Suzuki, Akio Kawanishi (Osaka PrefectureUniv.)”手描き 曲線か らの 乱数抽出お よ び ， forcing complexity に も と づ く そ の セ マ ン テ ィクス”
”Random extraction from freehand drawings and its semantics based on forcing complexity”(昼休み Lunch time)3

13:50-14:20 劉 晨光, 田中一之 (東北大学) ChenGuang Liu, Kazuyuki Tanaka (Tohoku Univ.)”ゲ ー ム 木の 分布的複雑さ ””Distributional Complexity of Game Trees”
14:20-14:50 浜名 誠 (群馬大学) Makoto Hamana (Gunma Univ.)”明示的代入と 高階 抽象構文の 代数モ デ ル”
”Explicit Substitutions and Higher-Order Syntax”
15:00-15:50 佐藤雅 彦 (京都大学) Masahiko Sato (Kyoto University)”数学を計算機の 上で 記 述す る ため の 自然な 枠組に つ い て ””A Natural Framework for realizing Mathematics on a Computer”
15:50-16:00 Closing

4