P:数学系部会

P-1
Isabelleによる並列処理を行う自動証明システムの構築;Emacs Lisp, PostgreSQLを用いて
○馬場彰太郎（日大理工・院（前）・数学）・小林英恒（計算論理研究所）
P-2
ソーシャルネットワーク分析データを用いた情報ネットワーク制御に関する基礎検討
○山田竜毅（日大理工・院（前）・数学）・吉開範章（日大理工・教員・数学）
P-3
情報セキュリティに関する脅威資料への認知効果に関する検討
○神田大彰（日大理工・院（前）・数学）・吉開範章・栗野俊一（日大理工・教員・数学）
P-4
絡み目理論の符号数と退化次数
○岡田幸平（日大理工・院（前）・数学）・橋口徳一（日大理工・教員・数学）
P-5
Zeta-関数の関数等式とその応用;Poisson和公式の別証明
○岩田英人（日大理工・院（前）・数学）
P-6
平方ピラミッド問題と楕円曲線の整数点
○石井夕紀子（日大理工・院（前）・数学）
P-7
尖点形式のL-関数(L-functions of cusp forms)
○吉崎哲也・上石冬華（日大理工・院（前）・数学）・佐々木隆二（日大理工・教員・数学）
P-8
Modular 形式 (ηp(τ)/η(pτ))2 ; Eisenstein 級数を用いた Hecke の証明
○寺島三晴（日大理工・院（前）・数学）・佐々木隆二（日大理工・教員・数学）
P-9
C-representations of Mixed Abelian Groups II
○保田　猛（東京都立南葛飾高等学校）
P-10
土倉・堀口法(村瀬義益・ニュートン型の第一拡張漸化式)とその収束比較条件式 Tsuchikura-Horiguchi's method(Yoshimasu Murase-Newton type's first enhancing recurrence formula) and its convergence comparison in the conditional expressions
○堀口俊二（新潟産業大学）
P-11
順序線形位相空間に値をとる非加法的測度について
○渡辺俊一（日大理工・非常勤講師）
P-12
Allen-Cahn方程式の特異極限問題に対する境界単調性公式
○水野将司（日大理工・教員・数学）・利根川吉廣（北海道大学理学研究院数学部門）
P-13
三角群の埋め込みについて
○橋口徳一（日大理工・教員・数学）