• 「*」が登壇者，「**」が若手優秀講演賞対象登壇者です． ポスター講演は優秀ポスター賞を別途設けます．
• 講演題目・著者の項目に，Webから入力していただいた「著者所属・講演概要」へのリンクがあります．
• 会場の席数はスクール形式のレイアウト時のものです．実際は多くなります．

 

 

• (7月17日) 大会関係者用ページをオープンしました．
• (7月19日) 年会トップページのリンクを設定しました．
• (7月23日) 「研究部会OS:行列・固有値問題の解法とその応用」のセッションを変更しました．
• (7月25日) 一般講演「最適化・計算幾何」の時間帯を変更しました．
• (9月1日) 一般講演「流体計算」の時間帯を「16:40-18:00」から「16:30-17:50」に変更しました．

 

 

 

[9/10 恵比寿(国際会議場)] 13:40-14:30

9998 新しい産業数学を目指して／*若山 正人

[9/10 恵比寿(国際会議場)] 14:40-15:30

9999 行列の同時ブロック対角化手法を巡る応用数理／*室田 一雄

[9/10 恵比寿(国際会議場)] 15:40-16:30

9997 2次元領域におけるスポット解の運動について／*栄 伸一郎

↑時間割9/10

 

 

[9/9 恵比寿(国際会議場)] 13:00-13:20

表彰式 (2013年度論文賞・ベストオーサー賞)

[9/9 恵比寿(国際会議場)] 13:25-14:40

会長の方針説明・質疑

パネルディスカッション: 応用数理の魅力とキャリアパス／高橋 大輔, 高島 克幸, 高田 章, 石田 祥子

↑時間割9/9

 

 

[9/9 大黒(606会議室)] 9:30-10:50 精度保証付き数値計算ワークショップ(1) 早稲田大学理工学術院総合研究所主催

09:30-09:50 線形計算における誤差解析と計算方法のバランス／尾崎 克久

09:50-10:10 Newton法の収束定理と精度保証／高安 亮紀

10:10-10:50 誤差と残差のあいだに／渡部 善隆

↑時間割9/9

[9/10 大黒(606会議室)] 9:30-10:50 精度保証付き数値計算ワークショップ(2) 早稲田大学理工学術院総合研究所主催

09:30-10:10 回路と精度保証／大石 進一

10:10-10:50 「精度保証」---その過去から未来へ---／中尾 充宏

↑時間割9/10

 

 

[9/9 恵比寿(国際会議場)] 15:00-18:30 数学ソフトウェアの開発と実践(1) 九州大学マス・フォア・インダストリ研究所 数学理論先進ソフトウェア開発室主催

↑時間割9/9

[9/10 恵比寿(国際会議場)] 10:00-12:00 数学ソフトウェアの開発と実践(2) 九州大学マス・フォア・インダストリ研究所 数学理論先進ソフトウェア開発室主催

↑時間割9/10

 

 

[9/10 大黒(606会議室)] 11:40-12:20 一般講演: 微分方程式の精度保証

9213 楕円型偏微分作用素に対する逆作用素評価の効率化／*木下 武彦, 渡部 善隆, 中尾 充宏

9230 LyapunovTracing による常微分方程式の精度保証法について／**樋脇 知広, 渡辺 真伊智, 山本 野人, 松江 要

↑時間割9/10

[9/9 西(601会議室)] 9:30-10:50 一般講演: 線形計算・HPC(1)

9003 疎行列ガウス掃き出し法の効率化について／*田尻 太郎

9161 自動加速ILU前処理の性能評価／*三木 雄一郎, 鷲澤 輝芳

9139 ガレルキン粗格子近似を用いたフルマルチグリッド法の数値実験／山崎 俊央, *堀端 康善

9155 個別要素法のGPU適用におけるワープダイバージェンス軽減方法／*中原 康博, 鷲澤 輝芳

↑時間割9/9

[9/9 東(608会議室)] 15:00-16:20 一般講演: 線形計算・HPC(2)

9119 連続時間代数リカッチ方程式の解に対する簡便かつ高速な数値的検証法／**宮島 信也

9142 ブロックヤコビ法に基づく固有値解法の超並列計算機上での実装／**工藤 周平, 高橋 佑輔, 深谷 猛, 山本 有作

9174 CUMPを用いた多倍長精度演算反復法のGPUによるハイブリッド並列化／*生野 壮一郎, 廣川 祐太, 黒川 弘章

9224 スペクトル分割統治法による行列の固有値分解と特異値分解／**中務 佑治

↑時間割9/9

[9/11 土居(607会議室)] 16:40-18:00 一般講演: 離散系・力学系

9110 動物・植物プランクトン系における確率分岐／*石川 昌明

9189 2次元2値零相関配列を用いた視覚秘密分散／林 隆史, 前田 多可雄, 松藤 信哉, *渡辺 曜大

9212 超離散化した線形波動方程式の波動性と粒子性に関する考察／**儀保 伸吾

9225 Interaction between acoustic waves and self-sustained flow oscillations in a simple silencer model／*ランジェム ミカエル, 中野 政身

↑時間割9/11

[9/11 土居(607会議室)] 9:30-10:50 一般講演: 現象の数理モデルと解析(1)

9075 Global bifurcation structure of stationary solutions to a reaction-diffusion model for cell polarization／**森 竜樹, 久藤 衡介, 辻川 亨, 四ツ谷 晶二

9129 表皮構造モデルを用いた表皮の恒常性維持評価について／*長山 雅晴, 小林 康明, 傳田 光洋, 堤 も絵, 北畑 裕之, 中田 聡

9157 走化性現象をモデル化する移流・拡散・反応方程式に対する高精度な非線形スキーム／**村上 健太, 小田中 紳二, 鐘 菁廣

9164 反応拡散系モデルによる花序形成の考察／**田中 吉太郎, 三村 昌泰, 二宮 広和

↑時間割9/11

[9/11 土居(607会議室)] 11:00-12:20 一般講演: 現象の数理モデルと解析(2)

9209 線状物質の遅い回転運動の縮約動力学／*山本 美希, 井上 朝哉

9216 数理モデルを用いた腹足類這行運動メカニズムの解明／**岩本 真裕子, 上山 大信, 小林 亮

9222 三種競争拡散系に現れる棲み分け解の二次元ダイナミクスのパラメータ依存について／*藤間 真, 三村 昌泰

9007 粉体(砂)のシェアパターン伝播の計算機シミュレーション／*山本 啓三, 山田 裕子, 宮下 信雄, 宮島 佐介

↑時間割9/11

[9/11 土居(607会議室)] 13:40-15:00 一般講演: 現象の数理モデルと解析(3)

9145 感染症の季節的流行モデルとしての非線形偏微分方程式の解析／**國谷 紀良

9214 感染症モデルを用いた最適ワクチン接種戦略構築／*石川 昌明

9138 Comparative study for rainfall data analysis by the recommendation system and the ARIMA／Herdianti Darwis, *Hideo Hirose

9158 Middle East respiratory syndrome coronavirus spread prediction using differential equation methods／Sakumura Takenori, *Hirose Hideo

↑時間割9/11

[9/11 千代(602会議室)] 9:30-10:50 一般講演: 常微分方程式

9008 密出力機能を備えた多倍長陰的Runge-Kutta法の実装とその応用／*幸谷 智紀

9132 Taylor展開法による常微分方程式の高次高精度多倍長計算／*平山 弘

9180 陽的ルンゲークッタ法の次数条件式のある簡略化／*大野 博

9033 GAを用いた減衰項を伴う強制Mathieu方程式のパラメータ推定／**矢澤 真樹, 上野 公彦, 樊 春明

↑時間割9/11

[9/10 千代(602会議室)] 9:30-10:50 一般講演: 偏微分方程式(1)

9179 保存弱形式に基づく不連続ガレルキン法／**相本 佳史, 松尾 宇泰

9182 ホロノーム拘束をもつハミルトン系に対する離散勾配法／**北 祐樹, 谷口 隆晴

9194 仮想領域法 (L²処罰法) とその有限要素法および有限体積法の誤差解析／*周 冠宇, 齊藤 宣一

9202 流体構造連成問題から生じるある一般化ロバン境界条件に対する数学・数値解析／*柏原 崇人

↑時間割9/10

[9/10 千代(602会議室)] 11:00-12:20 一般講演: 偏微分方程式(2)

9204 弱非線形離散変分導関数スキームについて／*降旗 大介

9167 A second-order time-discretization scheme for a system of nonlinear Schrödinger equations／*佐々木 多希子

9190 周期多重極法とSS法を用いた殆ど周期的な構造による波動散乱問題の数値計算／森田 樹一郎, *西村 直志

9200 離散変分法によるEinstein方程式の数値スキームの構築／**土屋 拓也, 米田 元

↑時間割9/10

[9/11 千代(602会議室)] 15:10-16:30 一般講演: 偏微分方程式(3)

9195 原子構造計算のHartree近似におけるセルフ・コンシステント計算法の改良／*石川 英明

9196 原子構造計算のFock近似における微分方程式の高精度数値計算法／*石川 英明

9017 ルジャンドル陪関数の変形と応用－７／*田川 昭夫

9018 ルジャンドル陪関数の変形と応用－８／*田川 昭夫

↑時間割9/11

[9/9 西(601会議室)] 11:00-12:20 一般講演: 数値積分・データ解析

9134 被積分関数の滑らかさに応じた準モンテカルロ法／**合田 隆

9177 Digital construction schemeに基づくWAFOMの小さな点集合の構成／**原瀬 晋, 大堀 龍一

9123 簡潔な四辺形でない多角形判別のしきい値：街路パターン複雑性への応用／*鈴木 登志雄, 畠山 友司

9203 情報圧縮にもとづくデータ間の距離について／*渡辺 曜大

↑時間割9/9

[9/9 大黒(606会議室)] 16:30-17:50 一般講演: 流体計算

9009 楕円柱まわりの遷音速流れにおけるノイズの影響に関する数値的研究／*畑上 到, 白鳥 昇治

9162 Exact coherent states in rotating channel flow／*Wall D. P., Nagata Masato

9186 津波浸水データを用いた陸上障害物の効果の定量的モデリング／**大家 義登, 中村 和幸

9207 絶対安定な2次要素特性曲線有限要素法／**内海 晋弥, 田端 正久

↑時間割9/9

[9/11 中洲(605会議室)] 11:20-12:20 一般講演: 電磁気学

9147 高温超伝導薄膜中の遮蔽電流密度解析：非接触測定法による欠陥の検出可能性／*高山 彰優, 神谷 淳

9178 RPIMより得られる形状関数を用いた電磁場解析における安定性の数値的検証／**大井 祥栄, 龍野 智哉, 生野 壮一郎

9206 電磁波伝搬解析におけるFDTDとMTDMの結合手法とその性能評価／*伊東 拓, 生野 壮一郎

↑時間割9/11

[9/9 中洲(605会議室)] 16:30-17:50 一般講演: 最適化・計算幾何

9131 秘書問題の停止規則の反復改善法／**野村 和史

9140 Sℓ₁QP法の試作と数値実験による検証／片岡 真弥, *堀端 康善

9210 メンバー間のコミュニケーション長を考慮した組織構造への関係追加モデル／*澤田 清

9208 計測曲線の美的意図に基づく数理的修正／*今井 敏行

↑時間割9/9

[9/9 中洲(605会議室)] 15:00-16:00 一般講演: ゲームの理論

9151 グラフに基づく囲碁の数理モデル及び静的評価写像系の構築／**佐藤 真史, 穴田 浩一, 堤 正義

9159 小売店の価格戦略ゲーム／**横内 健悟, 徳山 喜一, 前村 隆太, 大平 徹

9191 最後通牒ゲームにおける競争志向と平等志向／*前村 隆太, 横内 健悟, 徳山 喜一, 大平 徹

↑時間割9/9

[9/9 中洲(605会議室)] 11:20-12:20 一般講演: 物理・数学一般

9199 ベクトル束上で定義された連続体力学の曲線座標表示／*山岡 英孝

9223 On the number of rotations about two axes required for constructing an arbitrary rotation ／*Hamada Mitsuru

9099 アーベルの力学問題と飛行時間型質量分析器／*絹川 亨

↑時間割9/9

[9/11 千代(602会議室)] 11:00-12:20 一般講演: 確率

9163 ジップの法則のベキ指数にはなぜ-1が多いのか？／**山本 健

9170 トーナメント戦における上位入賞者の分布について／*徳山 喜一, 横内 健悟, 前村 健太

9205 標準正規確率変数に対する近似乱数について／*齊藤 善弘

9054 1次元確率微分方程式に対する広い安定領域を持つ対称な簡易スキーム／*石森 勇次

↑時間割9/11

 

 

[9/11 西(601会議室)] 13:40-14:40 研究部会OS: ウェーブレット(1)

9030 N分木離散ウェーブレット変換と相互射影を用いた電子透かし／*池邊 和馬, 辰巳 基, 守本 晃

9032 マルチウェーブレット変換による平行移動を含んだ混合画像の分離法／*守本 晃, 芦野 隆一, 萬代 武史

9086 DCTとハール変換のテンソル積を利用したモスキートノイズの軽減／**芦澤 恵太, 森田 雅貴, 横井 伸行, 山谷 克

[9/11 西(601会議室)] 15:00-16:00 研究部会OS: ウェーブレット(2)

9049 球面上の連続な双直交ウェーブレット基底について／**上原 伊音

9046 正規直交ウェーブレットの補間による新たなウェーブレットの構成法について／**福田 尚広, 木下 保

9082 安定過程の分布特性量のウェーブレット解析／*川崎 秀二

[9/11 西(601会議室)] 16:20-17:20 研究部会OS: ウェーブレット(3)

9029 (特別講演60分) グラフ・ネットワーク上でのウェーブレット変換及びウェーブレット・パケット変換について／*斎藤 直樹, イーリオン ジェフ

↑時間割9/11

[9/11 大黒(606会議室)] 9:30-10:50 研究部会OS: 応用カオス(1)

9005 カオス尺度の諸性質について／*井上 啓

9153 整数上のロジスティック写像におけるパラメータの微少な差に対する二つの系列の距離／*荒木 俊輔, 宮崎 武, 上原 聡, 硴崎 賢一

9152 Safe Primeを法とした素体上のロジスティック写像による生成系列に関する一考察／*宮崎 武, 荒木 俊輔, 上原 聡, 野上 保之

9181 外部カオス信号と戻り光を用いた半導体レーザーによる光カオス秘匿通信／*海老澤 賢史, 前田 譲治, 小松 進一

[9/11 大黒(606会議室)] 11:00-12:20 研究部会OS: 応用カオス(2)

9168 半導体レーザカオスを用いた物理乱数生成における光ノイズの効果／*砂田 哲, 新井 賢一, 篠原 晋, 原山 卓久

9211 スパイク応答型神経細胞モデルの一次元結合系における局所的カオス同期について／*山口 明宏, 久保 正男

9183 テント写像に基づく擬似ランダムビット列に対するパラメータ推測法の効率について／*奥富 秀俊

9235 レーザプロジェクタ用RGB半導体レーザにおける高周波重畳法によるスペックルノイズ低減の検討／*香野 良文, 佐々木 和可緒

[9/11 大黒(606会議室)] 13:40-15:00 研究部会OS: 応用カオス(3)

9232 電気-光遅延帰還系のカオスダイナミクスに基づく秘匿通信／*久富 将徳, 佐々木 和可緒

9231 光複雑系に基づく自己組織化ノードを適用したスマートグリッド／*南里 宏人, 坂東 宏紀, 佐々木 和可緒

9233 青紫色半導体レーザのモードホッピング現象における電流・温度の相関性測定／*川澄 正翔, 佐々木 和可緒

9218 非一様乱数を用いたモンテカルロ計算の性能とその評価法について／**入江 哲史, 梅野 健

[9/11 大黒(606会議室)] 15:10-16:30 研究部会OS: 応用カオス(4)

9219 べき則を持つ乱数を用いたモンテカルロ計算について／**李 佳, 入江 哲史, 梅野 健

9220 ルベーグスペクトラムフィルタによる粒子群最適化法のダイナミクスの解析について／長崎 大都, *梅野 健

9221 フェージング環境下におけるカオス通信システムの性能評価: LSFの適用／猶原 僚也, *梅野 健

9217 フェージング分布を生成する2次元カオスダイナミックスについて／*梅野 健

↑時間割9/11

[9/9 西(601会議室)] 15:00-16:20 研究部会OS: 応用可積分系(1)

9010 ソリトン系の特異点閉じ込めと法p還元について／**神吉 雅崇, 間田 潤, 時弘 哲治

9095 シンプレクティック数値積分法と運動量保存則について／*佐々 成正

9090 確率ロジスティック方程式の差分化について／清水 恭輔, **上岡 修平, 辻本 諭

9066 Gray-Scottモデルのパターンを保存した離散化及び超離散化／**松家 敬介, 村田 実貴生

[9/9 西(601会議室)] 16:30-17:30 研究部会OS: 応用可積分系(2)

9091 離散Lotka-Volterra方程式のある一般化とその応用／**前田 一貴, 辻本 諭

9097 Discrete mKdV flow on discrete space curves／井ノ口 順一, 梶原 健司, *松浦 望, 太田 泰広

9051 周期箱玉系の幾何学的実現／*野邊 厚

↑時間割9/9

[9/9 千代(602会議室)] 15:00-16:00 研究部会OS: 折紙工学(1)

9143 等角写像と湾曲する筒の折り畳みモデル／*石田 祥子, 野島 武敏, 萩原 一郎

9172 折紙と切紙の融合／*杉山 文子, 野島 武敏

9198 葉序の幾何学とボロノイ螺旋タイリング／**須志田 隆道, 日詰 明男, 山岸 義和

[9/9 千代(602会議室)] 16:30-17:30 研究部会OS: 折紙工学(2)

9201 ユニット折り紙の写実的な3次元モデル生成／*鶴田 直也, 三谷 純, 金森 由博, 福井 幸男

9169 折紙の折り畳み技術を用いた細胞の3次元マイクロ構造体の作製／*繁富 香織, 尾上 弘晃, 竹内 昌治

9234 折りたたみ可能な切開辺を含む軸対称形状の設計／*加瀬 悠人, 三谷 純, 福井 幸男, 金森 由博

↑時間割9/9

[9/11 東(608会議室)] 13:40-15:00 研究部会OS: 科学技術計算と数値解析(1)

9031 近似境界対応関数を利用した代用電荷法による数値等角写像／*岡野 大, 天野 要

9020 複素対数関数の主値に起因する数値等角写像の不連続性／*天野 要, 岡野 大

9006 多重極をもつ有理関数に対する直交多項式を用いた極推定法／**伊藤 伸志, 杉原 正顯

9025 Fouier変換の高精度計算公式の誤差制御とその放物型方程式への応用／*田中 健一郎

[9/11 東(608会議室)] 15:10-16:30 研究部会OS: 科学技術計算と数値解析(2)

9023 不連続ガレルキン法のレリッヒ型離散コンパクト性に 関連したL^p強収束(訂正版)／*菊地 文雄, 小山 大介

9021 P1-P0要素を用いたハイブリッド型不連続Galerkin法に関する考察／**及川 一誠

9019 Navier-Stokes 方程式のための圧力安定化特性曲線有限要素スキームの誤差評価／*野津 裕史, 田端 正久

9024 静磁場問題の領域分割解法向け前処理の検討／*金山 寛, Mukaddes, A.M.M., 荻野 正雄, 杉本 振一郎, 塩谷 隆二

[9/11 東(608会議室)] 16:40-17:20 研究部会OS: 科学技術計算と数値解析(3)

9022 振動解を持つハミルトン系に対する陽的な保存スキームの導出とその誤差解析／**宮武 勇登, 松尾 宇泰

9038 シンプレクティック数値積分法における修正ハミルトニアンの存在定理について／*谷口 隆晴

↑時間割9/11

[9/11 中洲(605会議室)] 13:40-15:00 研究部会OS: 機械学習

9150 凸最適化に基づくテンソル分解／**冨岡 亮太

9215 劣モジュラ最適化を用いた構造正則化学習とその応用／*河原 吉伸

9173 オンライン離散最適化／*畑埜 晃平

9149 スパース最適化におけるスクリーニングとその機械学習への応用／*竹内 一郎

↑時間割9/11

[9/9 東(608会議室)] 16:30-17:50 研究部会OS: 行列・固有値問題の解法とその応用(1)

9011 Effective Condition Numbers of Linear Systems Arising from Discretization of Elliptic Equations with Singularities／張 暁宇, *方 青

9015 スムージングを用いたIDRstab法の擬似最小残差化／**相原 研輔, 阿部 邦美, 石渡 恵美子

9035 双共役残差型反復解法の複数右辺ベクトル対応版への拡張と性能評価／*多田野 寛人, 石川 陽一, 今倉 暁

9012 前処理付きBiCGに対する初期シャドウ残差ベクトルの構成方法と前処理系の切り替えについて／*伊藤 祥司, 杉原 正顯

↑時間割9/9

[9/11 東(608会議室)] 9:30-10:50 研究部会OS: 行列・固有値問題の解法とその応用(2)

9016 二分法による実対称三重対角行列の固有値の近似計算／*村上 弘

9042 周回積分を用いた並列固有値解法に対するパラメータ設定について／**前田 恭行, Claus Aranha, 櫻井 鉄也

9028 リスタート付きJacobi-Davidson法の大域的収束性について／*相島 健助

9013 新シフト戦略によるoqds法の反復回数の削減と高精度特異値分解への応用／**田中 博基, 山下 巧, 木村 欣司, 中村 佳正

[9/11 東(608会議室)] 11:00-12:00 研究部会OS: 行列・固有値問題の解法とその応用(3)

9014 (特別講演40分) Modulus-Based Matrix Splitting Iteration Methods for Linear Complementarity Problems／*Bai Zhong-Zhi

9034 Reducing Two Symmetric Matrices to Band Form by Congruence Transformations／**杜 磊, 今倉 暁, 櫻井 鉄也

↑時間割9/11

[9/9 大黒(606会議室)] 11:00-12:20 研究部会OS: 計算の品質(1)

9060 倍精度浮動小数点演算を用いた高速八倍精度計算法／**山中 脩也, 大石 進一

9043 ブロック化とデータの再生成による高精度行列積の実装／**尾崎 克久, 荻田 武史, 大石 進一

9088 大規模連立一次方程式における精度保証付き数値計算のハイブリッドな実装法とその評価／**森倉 悠介, 尾崎 克久, 片桐 孝洋, 大石 進一

9081 ある二次計画問題の精度保証付き数値解法／**木村 拓馬, 南畑 淳史, 大石 進一

[9/9 大黒(606会議室)] 15:00-16:20 研究部会OS: 計算の品質(2)

9101 Affine Arithmeticのダミー変数の削減と常微分方程式の初期値問題への応用／*柏木 雅英

9001 exflibによる平行Poiseuille流れの不安定性解析の高精度化／*渡部 善隆, 藤原 宏志, 中尾 充宏

9083 疑似弧長法による楕円型境界値問題の解曲線の精度保証付き追跡／**高安 亮紀, 大石 進一

9084 反応拡散方程式の定常解に対する精度保証付き数値計算／**関根 晃太, 高安 亮紀, 大石 進一

↑時間割9/9

[9/10 大黒(606会議室)] 11:00-11:40 研究部会OS: 計算の品質(3)

9071 拡張作用素を用いたLipschitz領域における埋め込み定数の評価法／**田中 一成, 水口 信, 関根 晃太, 高安 亮紀, 大石 進一

9070 一般的な楕円型微分方程式の特異性に対応するHypercircle法の提案／**平沼 格, 劉 雪峰, 大石 進一

↑時間割9/10

[9/10 土居(607会議室)] 9:30-10:50 研究部会OS: 数理医学(1)

9037 非線形カルマンフィルターによるHepG2細胞増殖モデルのパラメータ評価／*伊藤 昭夫, 山本 和彦, 矢納 陽

9041 ガン血管新生の数理モデルに関するゆらぎ解析／*道工 勇, 三澤 美香子

9045 MT1- MMPによる MMP2活性化機構のパスウェイ方程式の解析（第２報）／*川崎 秀二, Dhisa Minerva

9055 Individual cancer cell modeling with free boundary／Mahemuti Rouzimaimaiti, **Mohd Ariff Bin Admon

[9/10 土居(607会議室)] 11:00-12:20 研究部会OS: 数理医学(2)

9047 (特別講演40分) 幹細胞の遺伝子ネットワーク／*洪 実, 中武 悠樹, 合田 徳夫, 小田 真由美, 若林 俊一, 中野 哲平, ヤークト ラルス　マーチン, マク シウ　サン, 洪 繁

9053 (特別講演40分) がんの浸潤最初期ダイナミクスの理解によって転移抑制を目指す／*市川 一寿

↑時間割9/10

[9/9 土居(607会議室)] 11:00-11:40 研究部会OS: 数理政治学

9109 我が国国政選挙での棄権を考慮した得票分析／*佐藤 達己, 岸本 一男

9100 ダイバージェンスを用いた議席配分方式の偏り／*一森 哲男

↑時間割9/9

[9/11 千代(602会議室)] 13:40-15:00 研究部会OS: 数理設計

9160 最適設計問題への応用を目指した偏微分方程式に対する高精度数値解法の研究／渡辺 祥, *代田 健二

9156 応力を評価関数とする位相最適化問題へのH1勾配法の適用／*竹内 謙善

9166 負荷履歴を規定する超弾性体の形状最適化 ／**新谷 浩平, 畔上 秀幸

9148 位相縮約に基づく磁性体発振素子の注入同期機構の最適化設計／*中田 一紀, 田中 久陽, 家形 諭, 木村 崇

↑時間割9/11

[9/11 中洲(605会議室)] 15:10-16:30 研究部会OS: 数理的技法による情報セキュリティ(1)

9175 (特別講演80分) 暗号プロトコルに関する評価実証実験／*渡辺 大, 太田 陽基, 櫻田 英樹

[9/11 中洲(605会議室)]16:40-17:20 研究部会OS: 数理的技法による情報セキュリティ(2)

9107 形式検証によるコマンド・インジェクション攻撃対策／**平井 洋一

9146 計算論的に完全な記号的攻撃者と鍵交換に関する分析手法／*バナ ゲルゲイ, 長谷部 浩二, 岡田 光弘

↑時間割9/11

[9/10 西(601会議室)] 9:30-10:50 研究部会OS: 数理ファイナンス(1)

9133 On Order Estimates for the Exact Lugannani-Rice Formula／**加藤 恭, 関根 順, 吉川 健一

9136 ヒストリカルシミュレーション型多期間最適化モデルの考察／*川口 宗紀

9118 Forward-Backward SDEの漸近展開とCVAの計算について／**山田 俊皓, 高橋 明彦

9135 不動産ノンリコースローンの信用リスク評価モデル／*山中 卓, 大高 正明

[9/10 西(601会議室)] 11:00-12:00 研究部会OS: 数理ファイナンス(2)

9130 有限時間ホライゾンにおける複合確率制御の数値計算／*家田 雅志

9093 離散過程における金利モデルに関する注意／*石村 直之

9027 FBMとMBMの影響を受けるVasicekモデル／*成田 清正

↑時間割9/10

[9/11 西(601会議室)] 9:30-10:50 研究部会OS: 数理ファイナンス(3)

9122 オイラー積型表示を持つ高次元測度の性質について／*清水 信孝, 青山 崇洋

9117 Strong Rate of Euler-Maruyama Approximation for Stochastic Differential Equations with Irregular Drift／Ngo Hoang-Long, *田口 大

9085 ルックバックオプションのベガについて／*中津 智則

9125 多次元離散分布の新谷ゼータ型級数表示におけるディリクレ指標の性質／*吉川 和宏, 青山 崇洋

[9/11 西(601会議室)] 11:00-12:20 研究部会OS: 数理ファイナンス(4)

9102 A Discrete-Time Clark-Ocone Formula and its Application to an Error Analysis／赤堀 次郎, *天羽 隆史, 大熊 香里

9127 タイミングリスクの静的ヘッジ／**今村 悠里

9068 フーリエ法に基づくスポットボラティリティ行列過程の非負定値な推定量の構成について／赤堀 次郎, **劉 念麟, Mancino Maria Elvira, 安田 有紀栄

9111 Affine Term Structures as Multi-Solitons／蓬原 秀実, *赤堀 次郎, Grenier Edouard

↑時間割9/11

[9/10 中洲(605会議室)] 9:30-10:50 研究部会OS: 数論アルゴリズムとその応用(1)

9058 Elliptic netによるfixed argument pairingの計算について／劉 陽, *金山 直樹, 齋藤 和孝, 照屋 唯紀, 内山 成憲, 岡本 栄司

9036 Twisted Edwards curveを用いたスカラー倍算について／**峯尾 康則, 内山 成憲

9073 Improvement of Faugère et al.'s method to solve ECDLP／**黃 筠茹, Petit Christophe, 篠原 直行, 高木 剛

9061 2次形式の分類定理を用いた多変数署名方式の安全性について／**橋本 康史

[9/10 中洲(605会議室)] 11:00-12:20 研究部会OS: 数論アルゴリズムとその応用(2)

9063 Algebraic units and multidimensional continued fraction algorithm for algebraic number fields of higher degree (1)／*田村 純一, 安冨 真一

9062 Algebraic units and multidimensional continued fraction algorithm for algebraic number fields of higher degree (2)／*安冨 真一, 田村 純一

9050 An explicit construction of point sets with large minimum Dick weight／*鈴木 航介

9039 Mizarによる有限可換群の基本定理の形式化について／*中正 和久, 岡崎 裕之, 山崎 浩, 師玉 康成

↑時間割9/10

[9/11 中洲(605会議室)] 9:30-10:50 研究部会OS: メッシュ生成・CAE

9229 FEM解析データ軽量化技術の開発／**張 子賢, 片岡 一朗, 針谷 昌幸

9228 ボクセルデータを用いた階層型領域分割法のための有限要素メッシュデータ構造の生成法--数値人体モデルを用いた有限要素電磁界解析の適用例--／*室谷 浩平, 武居 周, 吉村 忍, 越塚 誠一

9094 Delaunay図構成への汎用自動退化対処法の適用／**山本 修作, 今井 敏行

9187 辺に付随する法線ベクトルを考慮したLaplacian energy最小化による精密な角の再構築／**今井 祐介, 守屋 翔悟, 平岡 弘之, 川原田 寛

↑時間割9/11

[9/9 千代(602会議室)] 9:30-10:50 研究部会OS: 離散システム(1)

9112 閉曲面上のグラフにおけるマッチング拡張性のための距離条件について／*藤沢 潤, Aldred, Robert E.L., 太田 克弘

9108 次数を制限した全域木について／**松村 初

9105 球面上の統計的実験計画法と立体求積公式／**平尾 将剛, 澤 正憲

9106 Optimal equi-difference conflict-avoiding codes of odd length and weight 3／林 怡伶, *三嶋 美和子, 佐藤 潤也, 神保 雅一

[9/9 千代(602会議室)] 11:00-12:20 研究部会OS: 離散システム(2)

9126 混合整数二次錐計画法を用いた回帰式の変数選択／*宮代 隆平, 高野 祐一

9137 木距離を冪として持つパラメータ行列の行列式と多変数2次安定多項式／平井 広志, *矢部 顕大

9074 Packing non-zero A-paths via matroid matching／谷川 眞一, *山口 勇太郎

9128 競合者がいるネットワーク上の影響伝播モデル／*垣村 尚徳, 河原林 健一

↑時間割9/9

[9/11 恵比寿(国際会議場)] 9:30-10:50 研究部会OS: 連続体力学の数理(1)

9113 (特別講演60分) 亀裂進展現象のエネルギー変分的数理モデリングの基礎と展開／*木村 正人

9114 FM型フェーズフィールドモデルによる，厚みを持つ板におけるき裂進展／*高石 武史

[9/11 恵比寿(国際会議場)] 11:00-12:20 研究部会OS: 連続体力学の数理(2)

9079 指示関数の対数微分に基づく囲い込み法の数値的性質について／*大江 貴司, 池畠 優

9072 3次元弾性波動問題に対する陰的Runge-Kutta法を用いた演算子積分時間領域高速多重極境界要素法／**丸山 泰蔵, 斎藤 隆泰, 廣瀬 壮一

9165 勾配の無限大ノルムを評価関数にした形状最適化問題の構成法／*畔上 秀幸, 新谷 浩平

9040 一般Ｊ積分の数値計算と応用／*大塚 厚二

↑時間割9/11

[9/9 東(608会議室)] 9:30-10:50 研究部会OS: 若手の会

9115 年金ALM(資産負債の総合管理)における数理モデルについて／*川口 宗紀, 枇々木 規雄

9080 近接相互作用に基づく大規模粒子計算(個別要素法)における効率的な動的負荷分散手法の提案とGPUスパコンでの実装／**都築 怜理, 青木 尊之, 下川辺 隆史

9052 偏微分方程式の構造保存数値解法における空間離散化について／**宮武 勇登, 松尾 宇泰

9069 SE-Sinc法が有効な関数族に対するDE-Sinc法の収束性について／*岡山 友昭, 田中 健一郎

＊若手の会の発表はすべて招待講演です

↑時間割9/9

[9/9 土居(607会議室)] 15:00-16:20 研究部会OS: 産業における応用数理(1)

9116 (特別講演40分) FIRST合原最先端数理モデルプロジェクトでの産業応用／*中川 淳一, 竹内 知哉, 伊東 一文, 合原 一幸

9089 (特別講演40分) Industrial applications with Scilab／*Gomez, Claude

[9/9 土居(607会議室)] 16:30-17:30 研究部会OS: 産業における応用数理(2)

9121 拡がるMath-for-Industry：現状と今後／*岡田 勘三

9124 構造最適化手法を用いた自動車用オートマチックトランスミッションの音圧および質量の低減化／**乙守 正樹, 井手 貴範

9176 制約を考慮した実験計画法の油圧ショベルエンジンルーム最適化のための応答曲面構築への適用／*武藤 和夫, 渡邉 修, 小林 民巨, 須田 峻一

↑時間割9/9

 

 

[9/10 東(608会議室)] 9:30-10:50 正会員主催OS: 自動チューニング技術とその周辺(1)

9078 並列化Strassen法を用いた行列積に対する自動チューニング手法の提案／**坂本 真貴人, 藤井 昭宏, 小西 克己, 田中 輝雄

9096 動的負荷分散フレームワークTascellを用いた共通アイテム集合を持つ連結部分グラフ抽出の並列化／*奥野 伸吾, 平石 拓, 中島 浩, 八杉 昌宏

9059 ppOpen-ATにより自動生成されたppOpen-HPCコードにおける自動チューニング機能の性能評価／*片桐 孝洋, 大島 聡史, 松本 正晴

9048 並列フラグメント分子軌道法プログラムOpenFMOの超並列化／*稲富 雄一, 眞木 淳, 本田 宏明, 高見 利也, 青柳 睦

[9/10 東(608会議室)] 11:00-12:20 正会員主催OS: 自動チューニング技術とその周辺(2)

9076 オンライン自動チューニング数理基盤ライブラリATMathCoreLibの特異値分解問題への適用／*長島 聖児, 深谷 猛, 山本 有作

9087 IC前処理におけるSIMD演算活用のためのブロック化手法／**武村 直和, 岩下 武史, 伊田 明弘, 中島 浩

9098 メニーコアアーキテクチャ向けのSpMV最適化と自動チューニング／**大島 聡史, 金子 勇, 片桐 孝洋

9103 OpenACCにおける性能チューニングとその効果／*滝沢 寛之, 平澤 将一, 小松 一彦, 小林 広明

↑時間割9/10

[9/11 土居(607会議室)] 15:10-16:30 正会員主催OS: 計算錯覚学 --- 錯視の現象数理学

9092 "はぐれ矢印"：錯視立体と陰影計算／**友枝 明保, 小野 隼, 杉原 厚吉

9171 非対称類似度行列の低ランク近似による時間連続性を考慮した動画編集法／**谷田川 達也, 山口 泰

9154 複数の秘密画像を扱う連続階調画像の視覚復号型暗号／*山口 泰

9077 フットステップ錯視アート “キックバック錯視とアースワーム錯視” ／**小野 隼, 友枝 明保, 杉原 厚吉

↑時間割9/11

[9/9 土居(607会議室)] 9:30-10:50 正会員主催OS: 数学テクノロジーのフロンティア

9026 高度化する暗号技術の数理とその応用／*高木 剛

9184 時系列回帰モデルのモデル選択とその応用 ／*西井 龍映

9188 CGを用いた映像制作に使われる数学技術／*落合 啓之

9044 損害保険でのパラメータリスク・モデルリスクのBayes推定による評価／近藤 宏樹, *斎藤 新悟

↑時間割9/9

[9/9 東(608会議室)] 11:00-12:20 正会員主催OS: ペタスケール環境における固有値解法

9057 周回積分を用いた固有値解法に基づく並列固有値解析エンジン／*二村 保徳, 櫻井 鉄也

9104 京コンピュータにおける対称密行列向け固有値計算プログラムの性能評価と性能予測／**深谷 猛, 今村 俊幸, 山本 有作

9056 京コンピュータにおける超大規模量子物質シミュレーション／*星 健夫

9120 行列・テンソル分解技術による大規模実データ分析の試み／*丸橋 弘治

↑時間割9/9

 

 

[9/10 恵比寿(国際会議場)] 16:40-18:00

9004 結び目理論への論理的アプローチ／*荻村 英雄

9144 折紙の逆問題：折り畳み可能な湾曲する筒を成形する折線パターンとその規則性／*石田 祥子, 野島 武敏, 萩原 一郎

9197 ボロノイ螺旋タイリングにおけるタイルの形状収束／*須志田 隆道, 日詰 明男, 山岸 義和

9226 多面体の対称性をもつ絡み目／日詰 明男, *山岸 義和

9227 対称正定値行列のレゾルベントと連立1次方程式／*村上 弘

9236 表皮構造数理モデルにおける表皮組織の可視化シミュレーション／*樋口 亮, 長山 雅晴, 秋山 正和, 小林 康明, 澤武 裕輔

9237 自己駆動粒子の集団運動に対する数理解析／*若井 健, 長山 雅晴, 井倉 弓彦, 西 慧, 小林 康明

9238 末梢神経伸長の数理モデル／*飯野 桃子, 小林 康明, 堤 も絵, 熊本 淳一, 北畑 裕之, 傳田 光洋, 長山 雅晴

9239 拡張境界節点法の高速化-形状関数が計算スピードに与える影響-／*大西 章介, 齋藤 歩, 伊東 拓, 神谷 淳, 上浦 尚武, 松井 伸之

9240 視点位置が誘発する画像知覚錯視の危険性／*杉原 厚吉

9241 シュティーフェル多様体上の最適化による行列の同時対角化およびその独立成分分析への応用／*佐藤 寛之

9242 オペレーターオーバーローディングを利用した記号摂動による幾何プログラムの入力退化への汎用的自動対処の実現／*山本 修作, 今井 敏行

9243 統計的機械学習を用いた質量顕微鏡による機能イメージング／*丹治 晃一, 小松 学, 橋本 浩行

9244 並列計算における再直交化付きブロック逆反復法の性能評価／*石上 裕之, 木村 欣司, 中村 佳正

9245 Morse Reduction for Zigzag Complexes／*Escolar, Emerson, 平岡 裕章

9246 機械学習によるコンピュータ将棋の評価関数生成／*森 建巳

9247 二字熟語のネットワーク構造とそのモデル化／*山本 健

9248 周回積分型固有値解法に対するBlock Arnoldi法に基づく新解釈および改良法の提案／*今倉 暁, 杜 磊, 櫻井 鉄也

9249 A t-spontaneous emission error design and its application to secret sharing scheme／*林 怡伶, 神保 雅一

9250 ニュートン法よりロバスト！逆算と進化で連立方程式を解くデータフロー・ネットワーク／*鈴木 秀明, 巌佐 庸

9251 カソラチ行列式の漸近展開定理／*新庄 雅斗, 岩崎 雅史, 中村 佳正

9252 粒子法の近似作用素に対する打ち切り誤差解析／*井元 佑介, 田上 大助

9253 歩行者の双方向流での流量／*吉川 賢太, 柳澤 大地

9254 Reorthogonalized-Golub-Kahan-Lanczos法と拡大行列に対するReorthogonalized-Lanczos法の比較について／*藤井 祐貴, 石上 裕之, 木村 欣司, 中村 佳正

9256 通信を必要としない鍵更新方法を用いた暗号の強化／*加藤 知美, 萩田 真理子

9257 指定された固有値をもつHessenberg型帯行列の作成方法について／*赤岩 香苗, 近藤 弘一, 岩﨑 雅史, 中村 佳正

9258 サプライチェーン計画の理論解析／*長 竜也, 西成 活裕

9259 玉に番号が付いた箱玉系の保存量について／柿崎 苑美, *福田 亜希子, 石渡 恵美子, 山本 有作, 岩崎 雅史, 中村 佳正

9260 塩水振動子の位相縮約による同期形態の解析／*太田 智史

9261 WKB analysis of Magnetorotational Instability with Hall effect／*鄒 蓉, 福本 康秀

9262 Web Workersを用いた多変数公開鍵暗号Rainbowの並列実装／*鷲見 拓哉, 石黒 司, 清本 晋作, 三宅 優, 小林 透, 高木 剛

9263 弦楽器シミュレーションにおける構造保存スキームとその刻み幅の設定法／*芦辺 健太郎

9264 double crystal problem／*新川 恵理子

9265 大規模製造システムにおける組み立てプロセス: 動力学的アプローチ／*江崎 貴裕, 西成 活裕

9266 根および枝先からのホルモン分配による樹木の生長制御法の一提案／*金山 知俊

9267 航空交通システムを想定した新規交通流モデルの解析／*千田 秀典, 西成 活裕

9268 群集の退出とパーコレーション転移／*石川 晴基, 江崎 貴裕, 柳澤 大地, 西成 活裕

9269 On the random k-set designs under experimental uncertainty／*羅 松, 繁野 麻衣子

9270 同期1回版BiCGSafe法の並列性能評価／*岩里 洸介, 藤野 清次

9271 補償付き内積演算を活用した反復解法／*湯浅 僚, 藤野 清次

9272 池上・楫アルゴリズムを用いた準最尤復号／*辻 雄太, 渡辺 扇之介, 渡邊 芳英

9273 最長路問題の定式化と組み合わせ論的アルゴリズム／*渡辺 扇之介, 渡邊 芳英

9274 論文著者の貢献度推定／*渡辺 曜大, 市瀬 龍太郎

9275 Trace定理の定数評価について／*平沼 格, 駒見 弘市, 劉 雪峰, 大石 進一

9276 形状最適化理論の自動車部品設計への応用 ／*新谷 浩平, 畔上 秀幸

9277 DCTとハール変換を組み合わせた周波数変換方式に基づく高精細画像圧縮／*横井 伸行, 芦澤 恵太, 森田 雅貴, 山谷 克

9278 通信を考慮した変数間の分類による対称SOR法の並列化／*鈴木 克, 中村 真輔, 小澤 一文

9280 心臓再同期療法の患者個別シミュレーションにおける最適化問題／*岡田 純一, 鷲尾 巧, 山下 尋史, 假屋 太郎, 今井 靖, 永井 良三, 杉浦 清了, 久田 俊明

9281 単一滑走路空港における滑走路使用制御の影響／*福田 紘之, 西成 活裕

【ポスター講演終了後直ちに審査結果を集計し，懇親会招待者を発表します．】

↑時間割9/10

本ページを作成するにあたり，「計算工学講演会論文集Vol.17」および2012年度年会(稚内全日空ホテル)の洗練されたレイアウトとスタイルシートを随所に参考にさせていただきました．心からお礼申しあげます(実行委員会プログラム作成担当)．