日本応用数理学会
2015年 研究部会連合発表会
プログラム


ver. 2015-03-07

ご注意:本プログラムは暫定版であり変更される可能性があります




▶︎ 主な変更履歴


2月22日数理ファイナンス(2)の講演情報が変更されました
2月20日プログラム公開(午前の開始時間が 9:30 → 9:40 になりました)


▶︎ タイムテーブル


3月6日

508 509 510 511 515 516
09:40
11:00
数理政治学
メッシュ生成・CAE
離散システム(1)
応用可積分系(1)
行列・固有値問題の解法とその応用(1)
11:10
12:30
数論アルゴリズムとその応用(1)
離散システム(2)
応用可積分系(2)
行列・固有値問題の解法とその応用(2)
12:30
13:30
昼休み
JSIAM Letters 編集委員会
昼休み
JST公募説明会
13:30
14:50
折紙工学(1)
数論アルゴリズムとその応用(2)
離散システム(3)
行列・固有値問題の解法とその応用(3)
15:00
16:20
折紙工学(2)
連続体力学の数理(1)
行列・固有値問題の解法とその応用(4)
16:30
17:30
産業における応用数理
『応用数理』 編集委員会(17:00〜)
連続体力学の数理(2)
科学技術計算と数値解析(1)
18:10
20:10
懇親会 @ 中野キャンパス1階

3月7日

508 509 510 511 515 516
09:40
11:00
応用カオス(1)
数理的技法による情報セキュリティ
数理医学(1)
連続体力学の数理(3)
科学技術計算と数値解析(2)
11:10
12:30
応用カオス(2)
ウェーブレット(1)
計算の品質(1)
数理医学(2)
連続体力学の数理(4)
科学技術計算と数値解析(3) (〜12:50)
12:30
13:30
昼休み
共同利用・共同研究拠点の利用公募説明会
13:30
14:50
応用カオス(3)
ウェーブレット(2)
計算の品質(2)
数理設計(1)
数理ファイナンス(1)
15:00
16:20
応用カオス(4)
ウェーブレット(3)
計算の品質(3)
数理設計(2)
数理ファイナンス(2)
16:30
17:30
研究部会連絡会

ウェーブレット(1) [3月7日:11:10-12:30:509]
ウェーブレット(2) [3月7日:13:30-14:50:509]
ウェーブレット(3) [3月7日:15:00-16:00:509]
応用カオス(1) [3月7日:09:40-11:00:508]
応用カオス(2) [3月7日:11:10-12:30:508]
応用カオス(3) [3月7日:13:30-14:50:508]
応用カオス(4) [3月7日:15:00-16:00:508]
応用可積分系(1) [3月6日:09:40-11:00:515]
応用可積分系(2) [3月6日:11:10-12:30:515]
折紙工学(1) [3月6日:13:30-14:50:508]
折紙工学(2) [3月6日:15:00-16:20:508]
科学技術計算と数値解析(1) [3月6日:16:30-17:30:516]
科学技術計算と数値解析(2) [3月7日:09:40-11:00:516]
科学技術計算と数値解析(3) (〜12:50) [3月7日:11:10-12:50:516]
行列・固有値問題の解法とその応用(1) [3月6日:09:40-11:00:516]
行列・固有値問題の解法とその応用(2) [3月6日:11:10-11:50:516]
行列・固有値問題の解法とその応用(3) [3月6日:13:30-14:50:516]
行列・固有値問題の解法とその応用(4) [3月6日:15:00-16:00:516]
計算の品質(1) [3月7日:11:10-12:30:510]
計算の品質(2) [3月7日:13:30-14:50:510]
計算の品質(3) [3月7日:15:00-16:00:510]
数理医学(1) [3月7日:09:40-11:00:511]
数理医学(2) [3月7日:11:10-12:30:511]
数理政治学 [3月6日:09:40-11:00:508]
数理設計(1) [3月7日:13:30-14:50:515]
数理設計(2) [3月7日:15:00-16:20:515]
数理的技法による情報セキュリティ [3月7日:09:40-10:50:510]
数理ファイナンス(1) [3月7日:13:30-14:50:516]
数理ファイナンス(2) [3月7日:15:00-15:40:516]
数論アルゴリズムとその応用(1) [3月6日:11:10-12:10:509]
数論アルゴリズムとその応用(2) [3月6日:13:30-14:10:509]
連続体力学の数理(1) [3月6日:15:00-16:20:515]
連続体力学の数理(2) [3月6日:16:30-17:30:515]
連続体力学の数理(3) [3月7日:09:40-10:40:515]
連続体力学の数理(4) [3月7日:11:10-12:10:515]
メッシュ生成・CAE [3月6日:09:40-10:40:509]
離散システム(1) [3月6日:09:40-11:00:510]
離散システム(2) [3月6日:11:10-12:30:510]
離散システム(3) [3月6日:13:30-14:50:510]
産業における応用数理 [3月6日:16:30-17:30:509]



▶︎ 口頭講演一覧



▷ ウェーブレット(1) [3月7日:11:10-12:30:509](座長:藤ノ木 健介,鈴木 俊夫)
  1. p進数体上における離散ウェーブレットについて / ○鈴木 俊夫 (筑波大学数理物質科学研究科) [概要]
  2. (60分講演) 補間を用いたウェーブレットの構成について / ○福田 尚広 (有明高専), 木下 保 (筑波大学) [概要]

▷ ウェーブレット(2) [3月7日:13:30-14:50:509](座長:藤田 景子,池邊 和馬,萬代 武史)
  1. ウェーブレット変換とM系列を利用した音声電子透かし / ○池邊 和馬 (大阪教育大学), 辰巳 基 (大阪教育大学), 守本 晃 (大阪教育大学) [概要]
  2. N 分木離散ウェーブレット変換と画像分離法 / ○守本 晃 (大阪教育大学), 芦野 隆一 (大阪教育大学), 萬代 武史 (大阪電気通信大学) [概要]
  3. 聴性定常反応計測波形の1次元定常ウェーブレット解析によるノイズ除去アルゴリズムについて / ○井川 信子 (流通経済大学), 守本 晃 (大阪教育大学), 芦野 隆一 (大阪教育大学) [概要]
  4. 平均補間型リフティングスキームによる画像の非線形近似 / ○藤ノ木 健介 (東海大学) [概要]

▷ ウェーブレット(3) [3月7日:15:00-16:00:509](座長:福田 尚広)
  1. (60分講演) 任意実数ダイレーションを持つ正規直交ウェーブレット基底と周波数帯域を自由自在に設計できる正規直交ウェーブレット基底 / ○戸田 浩 (豊橋技術科学大学), 章 忠 (豊橋技術科学大学) [概要]

▷ 応用カオス(1) [3月7日:09:40-11:00:508](座長:山口 明宏)
  1. 可解カオスの真軌道計算とその拡散符号構成への応用 / ○津田 宏史 (京都大学工学部), 岩﨑 淳 (京都大学大学院情報学研究科), 梅野 健 (京都大学大学院情報学研究科) [概要]
  2. Weyl列に基づくスペクトル拡散通信システムの性能評価 / ○猶原 僚也 (京都大学大学院 情報学研究科), 梅野 健 (京都大学大学院 情報学研究科) [概要]
  3. パワー一定カオス拡散符号を適用した衛星通信方式 / ○中澤 勇夫 (京都大学大学院情報学研究科数理工学専攻), 梅野 健 (京都大学大学院情報学研究科) [概要]
  4. tangent関数を用いたシンプレクティック写像 / ○大久保 健一 (京大情報), 梅野 健 (京大情報) [概要]

▷ 応用カオス(2) [3月7日:11:10-12:30:508](座長:奥富 秀俊)
  1. GPS-TECデータの相関解析及びその巨大地震発生との関係性 / ○岩田 卓也 (京都大学工学部), 梅野 健 (京都大学情報学研究科) [概要]
  2. レーザーカオスと金属v溝による超集束効果を用いた高効率テラヘルツ分光装置 / ○岩尾 憲幸 (福井工業大学), 桑島 史欣 (福井工業大学) [概要]
  3. 新たな非線形時系列解析の手法としてのMoving Maximum Lyapunov Exponents (MMLE) / ○岡田 大樹 (京都大学大学院情報学研究科), 梅野 健 (京都大学大学院情報学研究科) [概要]
  4. Primitive Chaosについて / ○小笠原 義仁 (早稲田大学), 根城 均 (山梨大学), Artem Trifonov (Lomonosov Moscow State University) [概要]

▷ 応用カオス(3) [3月7日:13:30-14:50:508](座長:後藤 振一郎)
  1. ヒトのミラーニューロンシステムの脳波解析とカオス注入同期システムとの関係について / ○新谷 健 (京都大学工学部), 梅野 健 (京都大学情報学研究科) [概要]
  2. カオス的セルラーニューラルネットワークにおける画像入力に対する同期応答の解析 / ○藤原 正幸 (福岡工業大学), 山口 明宏 (福岡工業大学), 久保 正男 (防衛大学校) [概要]
  3. カオスダイナミクスを用いた粘菌アメーバ型SAT解探索アルゴリズムの高速化 / ○原 裕介 (京都大学工学部), 梅野 健 (京都大学大学院情報学研究科) [概要]
  4. カオス理論に基づくメタヒューリスティックアルゴリズムについて / ○長崎 大都 (京都大学大学院情報学研究科), 梅野 健 (京都大学大学院情報学研究科) [概要]

▷ 応用カオス(4) [3月7日:15:00-16:00:508](座長:山口 明宏)
  1. Vector Stream Cipher (VSC暗号) の安全性の向上について / ○岩崎 淳 (京都大学情報学研究科), 梅野 健 (京都大学情報学研究科) [概要]
  2. テント写像に基づく擬似乱数列に対するシード依存値の推測について / ○奥富 秀俊 (東芝情報システム株式会社) [概要]
  3. 接触多様体におけるアトラクターとしてのルジャンドル部分多様体と幾何学的非平衡熱力学 / ○後藤 振一郎 (分子科学研究所) [概要]

▷ 応用可積分系(1) [3月6日:09:40-11:00:515](座長:山岸 弘幸)
  1. 周期戸田格子の部分力学系として実現可能な一般化戸田格子について / ○野邊 厚 (千葉大学教育学部) [概要]
  2. ある符号付き超離散QRT系に対するカルマンフィルタ / ○薩摩 順吉 (武蔵野大学), 礒島 伸 (法政大学) [概要]
  3. 時間遅れをもつ交通流モデルの離散化及び超離散化 / ○松家 敬介 (東京大学), 金井 政宏 (東京大学) [概要]
  4. 非線形な確率微分方程式の解構造を保つ離散化について / ○上岡 修平 (京都大学), 辻本 諭 (京都大学) [概要]

▷ 応用可積分系(2) [3月6日:11:10-12:30:515](座長:野邊 厚)
  1. 楕円数列のHankel行列式解について / ○由良 文孝 (公立はこだて未来大学) [概要]
  2. カーボンナノチューブトーラス上の離散ソボレフ不等式の最良定数 / ○山岸 弘幸 (都立産技高専), 亀高 惟倫 (阪大), 永井 敦 (日大) [概要]
  3. 渦糸方程式の自己適合移動格子スキーム / ○丸野 健一 (早稲田大学基幹理工学部), 畑 綾佳 (早稲田大学基幹理工学部) [概要]
  4. ポアンカレ不変量と運動量保存則 / ○佐々 成正 (日本原子力研究開発機構) [概要]

▷ 折紙工学(1) [3月6日:13:30-14:50:508](座長:渡邉 尚彦)
  1. 折り畳み構造の試作と双安定特性に関する検証 / ○石田 祥子 (明治大学理工学部機械工学科) [概要]
  2. 対話的操作を基本とする可展面パッチ集合に基づく紙模型用形状構築システム / ○細田 翔 (筑波大学), 三谷 純 (筑波大学), 金森 由博 (筑波大学) [概要]
  3. Control of a Robot Manipulator Based on Human Brain Models for Paper Folding Applications-1st Report- / ○ロメト フリアン (明治大学), ディアゴ ルイス (明治大学), 篠田 淳一 (明治大学), 萩原 一郎 (明治大学) [概要]
  4. Development of Robot for Folding Origami / ○タイ タオ (明治大学), ディアゴ ルイス (明治大学), グエン ホアン (明治大学), 萩原 一郎 (明治大学) [概要]

▷ 折紙工学(2) [3月6日:15:00-16:20:508](座長:石田 祥子)
  1. 折紙式津波ポッドの最適化のモデリングとシミュレーション / ○中山 江利 (明治大学), グエン ホアン (明治大学), 戸倉 直 (明治大学), 萩原 一郎 (明治大学) [概要]
  2. 曲線折の三次元形状計測 / ○深見 祐士 (大阪府立大学) [概要]
  3. 高次項を考慮した剛体折紙の畳込み経路解析 / ○渡邉 尚彦 (岐阜工業高等専門学校) [概要]
  4. Cell co-culture system using origami folding technique / ○何 倩 (北海道大学・大学院保健科学研究院 健康イノベーションセンター), 惠 淑萍 (北海道大学・大学院保健科学研究院 健康イノベーションセンター), 繁富(栗林) 香織 (北海道大学・大学院保健科学研究院 健康イノベーションセンター) [概要]

▷ 科学技術計算と数値解析(1) [3月6日:16:30-17:30:516](座長:緒方 秀教)
  1. 測地線方程式に対する離散勾配法の適用とアインシュタイン方程式の数値解を用いるための基礎検討 / ○入江 凜 (神戸大学工学部), 谷口 隆晴 (神戸大学システム情報工学研究科) [概要]
  2. 陽的ルンゲ・クッタ法をもとにした高速なエネルギー保存解法 / ○小島 広樹 (東京大学), 松尾 宇泰 (東京大学) [概要]
  3. 散逸系に対する可変刻み構造保存解法の漸近挙動解析 / ○佐藤 峻 (東京大学), 松尾 宇泰 (東京大学), 鈴木 秀幸 (東京大学), 降籏 大介 (大阪大学) [概要]
  4. 力学系における閉軌道全域に対する吸引域の同定について / ○樋脇 知広 (電気通信大・情報理工学研究科D2), 山本 野人 (電気通信大・情報理工学研究科) [概要]

▷ 科学技術計算と数値解析(2) [3月7日:09:40-11:00:516](座長:加古 孝)
  1. 三角形上の関数補間とその誤差について / 小林 健太 (一橋大学), ○土屋 卓也 (愛媛大学) [概要]
  2. ほとんど非圧縮性の媒質に対する混合型ハイブリッド不連続ガレルキン有限要素法 / ○菊地 文雄 (東京大学), 小山 大介 (電気通信大学) [概要]
  3. 滑らかな領域におけるP1有限要素近似の誤差評価とストークス方程式の滑り境界条件問題への応用について / ○柏原 崇人 (岡山大学大学院環境生命科学研究科), 及川 一誠 (早稲田大学理工学術院基幹理工学研究科), 周 冠宇 (東京大学大学院数理科学研究科D3) [概要]
  4. 電磁波動散乱問題に対する電界型積分方程式のHdiv内積を用いた離散化 / ○赤木 翔 (京都大学情報学研究科), 西村 直志 (京都大学情報学研究科), 新納 和樹 (京都大学情報学研究科) [概要]

▷ 科学技術計算と数値解析(3) (〜12:50) [3月7日:11:10-12:50:516](座長:杉原 正顯)
  1. 表面性状の違いを考慮した粒子法によるスプラッシュの数値シミュレーション / ○横山 真男 (明星大学), 矢川 元基 (東洋大学) [概要]
  2. 数値等角写像を利用した代用電荷法の種々の境界値問題への適用 / 青山 高之 (愛媛大学大学院理工学研究科電子情報工学専攻), 明石 悟 (愛媛大学大学院理工学研究科電子情報工学専攻), ○岡野 大 (愛媛大学), 遠藤 慶一 (愛媛大学) [概要]
  3. 非整数階常微分方程式に対する高精度陽的数値計算法 / ○竹内 裕貴 (東京大学大学院情報理工学系研究科コンピュータ科学専攻) [概要]
  4. 64ビット高性能線形擬似乱数発生法の開発 / ○木本 貴光 (東京工業大学大学院イノベーションマネジメント研究科 修士2年), 原瀬 晋 (東京工業大学大学院イノベーションマネジメント研究科 学振PD) [概要]
  5. 高速Hh変換の提案とジャンプ拡散モデルの下でのオプション価格評価への応用 / ○信原 貴也 (神戸大学), 山本 有作 (電気通信大学), 横川 三津夫 (神戸大学) [概要]

▷ 行列・固有値問題の解法とその応用(1) [3月6日:09:40-11:00:516](座長:山本 有作)
  1. レゾルベントの多項式をフィルタとして用いた一般固有値問題の近似解法について / ○村上 弘 (首都大学東京) [概要]
  2. ある種の構造を持つ非対称帯行列に対する固有ベクトル計算 / ○竹内 弘史 (東京理科大学), 相原 研輔 (東京理科大学), 福田 亜希子 (芝浦工業大学), 石渡 恵美子 (東京理科大学) [概要]
  3. Hessenberg型でないTN行列の逆固有値問題に対する有限ステップ解法について / ○赤岩 香苗 (京都大学大学院情報学研究科), 中村 佳正 (京都大学大学院情報学研究科), 岩﨑 雅史 (京都府立大学生命環境学部), 近藤 弘一 (同志社大学大学院理工学研究科) [概要]
  4. 行列のすべての固有値と不変部分空間に対する数値的検証法 / ○宮島 信也 (岐阜大学工学部) [概要]

▷ 行列・固有値問題の解法とその応用(2) [3月6日:11:10-11:50:516](座長:曽我部 知広)
  1. 厳密な物理的保存則をもつクリロフ部分空間解法の構築 / ○星 健夫 (鳥取大学, JST-CREST) [概要]
  2. 直交QDアルゴリズムによる高精度特異値分解について / ○田中 博基 (京都大学), 木村 欣司 (京都大学), 石上 裕之 (京都大学), 中村 佳正 (京都大学) [概要]

▷ 行列・固有値問題の解法とその応用(3) [3月6日:13:30-14:50:516](座長:櫻井 鉄也)
  1. 並列化した多倍長行列積計算の性能評価 / ○幸谷 智紀 (静岡理工科大学) [概要]
  2. Xeon Phi における部分固有対計算の高速化に向けて / ○石上 裕之 (京都大学), 木村 欣司 (京都大学), 中村 佳正 (京都大学) [概要]
  3. 超並列固有値計算のための最適複合化数理ソルバと電子状態計算におけるベンチマーク / ○井町 宏人 (鳥取大学, JST-CREST), 星 健夫 (鳥取大学, JST-CREST) [概要]
  4. オンライン自動チューニングのための性能モデルの構築法 ~ 正方行列の特異値分解を例にして ~ / 長島 聖児 (神戸大学), 深谷 猛 (理化学研究所 計算科学研究機構/JST CREST), ○山本 有作 (電気通信大学/JST CREST), 横川 三津夫 (神戸大学) [概要]

▷ 行列・固有値問題の解法とその応用(4) [3月6日:15:00-16:00:516](座長:中村 佳正)
  1. 直交制約付き最適化問題に対するニュートン方程式の求解について / ○相原 研輔 (東京理科大学), 佐藤 寛之 (東京理科大学) [概要]
  2. CP分解アルゴリズム:Reduced ALSの性能評価 / ○村越 智文 (東京大学), 松尾 宇泰 (東京大学) [概要]
  3. 副対角Pade近似による行列指数関数の効率的アルゴリズム / Guettel Stefan (University of Manchester), ○中務 佑治 (東京大学) [概要]

▷ 計算の品質(1) [3月7日:11:10-12:30:510](座長:尾崎 克久)
  1. 楕円型線形逆作用素評価の収束性について / ○渡部 善隆 (九州大学), 木下 武彦 (京都大学), 中尾 充宏 (佐世保工業高等専門学校) [概要]
  2. On the spectral-shift method in Lehmann-Goerisch’s theorem / ○劉 雪峰 (新潟大学) [概要]
  3. 半線形熱方程式の解に対する精度保証付き数値計算法を用いた時間大域解の存在証明 / ○水口 信 (早稲田大学), 高安 亮紀 (早稲田大学), 久保 隆徹 (筑波大学), 大石 進一 (早稲田大学, CREST JST) [概要]
  4. Lyapunov関数を用いた不安定多様体の精度保証について / ○山野 駿 (電気通信大・情報理工学研究科M1), 藤田 直哉 (電気通信大・情報理工学部4年), 山本 野人 (電気通信大・情報理工学研究科) [概要]

▷ 計算の品質(2) [3月7日:13:30-14:50:510](座長:渡部 善隆)
  1. Fast-slow systemにおける時間大域軌道の精度保証付数値計算 / ○松江 要 (統計数理研究所・数学協働プログラム) [概要]
  2. Muhammad–MoriのSE公式に対する定数を明示的に表した誤差評価 / ○岡山 友昭 (広島市立大学), 町田 洸一 (広島市立大学) [概要]
  3. ヤコビの楕円関数の精度保証付き数値計算法 / ○宮崎 敏文 (早稲田大学大学院 基幹理工学研究科), 柏木 雅英 (早稲田大学 理工学術院) [概要]
  4. Affine Arithmeticのダミー変数で用いるペナルティ関数について / ○小松 勇斗 (早稲田大学), 柏木 雅英 (早稲田大学) [概要]

▷ 計算の品質(3) [3月7日:15:00-16:00:510](座長:山中 脩也)
  1. 低精度演算を用いた区間行列積の加速とその過大評価について / ○尾崎 克久 (芝浦工業大学), 荻田 武史 (東京女子大学), Bünger Florian (ハンブルグ工科大学), 大石 進一 (早稲田大学) [概要]
  2. H行列の性質を用いた連立一次方程式における精度保証付き数値計算法に関する一考察 / ○南畑 淳史 (早稲田大学大学院基幹理工学研究科), 荻田 武史 (東京女子大学), 大石 進一 (早稲田大学) [概要]
  3. 精度保証付き多倍長演算ライブラリLILIBについて / ○松田 望 (電気通信大・情報理工学研究科D3) [概要]

▷ 数理医学(1) [3月7日:09:40-11:00:511](座長:鈴木 貴)
  1. (40分講演) 心筋細胞の数理モデル / ○林 達也 (東京大学大学院数理科学研究科), 時弘 哲治 (東京大学大学院数理科学研究科), 栗原 裕基 (東京大学大学院医学系研究科), 野村 典正 (東京医科歯科大学生体材料工学研究所), 安田 賢二 (東京医科歯科大学生体材料工学研究所) [概要]
  2. 心肥大関連因子ネットワークの解析と現象へのフィードバック / ○伊藤 昭夫 (近畿大学工学部), 角谷 敦 (広島修道大学経済科学部), 山本 和彦 (近畿大学工学部) [概要]
  3. Numerical method for Stefan-like problem of signal process in an individual cancer cell model / ○Admon Mohd Ariff Bin (Division of Mathematical Sciences, Department of System Innovation, Graduate School of Engineering Science, Osaka University, 1-3 Machikaneyamacho, Toyonakashi, 560-8531 Osakafu, Japan) [概要]

▷ 数理医学(2) [3月7日:11:10-12:30:511](座長:石渡 通徳)
  1. (40分講演) 汎生物ネットワーク的な動特性の解析 / ○坂田 克己 (公立大学法人 前橋工科大学), 大柳 一 (公立大学法人 前橋工科大学), 齋藤 俊行 (独立行政法人 放射線医学総合研究所) [概要]
  2. Biomagnetic Signal Denoising for Improving Brain Sources Localization / ○Nuanprasert Somchai (Department of Systems Innovation, Graduate School of Engineering Science, Osaka University) [概要]
  3. MT1-MMPタイプのパスウェイネットワークのn分子への拡張と解析 / ○板野 景子 (大阪大学), 鈴木 貴 [概要]

▷ 数理政治学 [3月6日:09:40-11:00:508](座長:大山 達雄)
  1. 空間的投票理論における政党認識誤差の影響 / ○岸本 一男 (筑波大学) [概要]
  2. 国連総会投票データへのモジュラリティ最大化コミュニティ検出法の適用 / ○坂本 正樹 (慶應義塾大学大学院), 田中 健一 (慶應義塾大学), 栗田 治 (慶應義塾大学) [概要]
  3. 緩和除数方式による議員定数配分の偏りについて / ○ハンスックウォラパーニット スマッチャヤー (大阪工業大学大学院), 一森 哲男 (大阪工業大学) [概要]
  4. Quantitative Data Analysis on Recent Elections in Japan / 大山 達雄 (政策研究大学院大学), ○アザド アブル カラム (政策研究大学院大学), ラーマン アリフール (政策研究大学院大学) [概要]

▷ 数理設計(1) [3月7日:13:30-14:50:515](座長:畔上 秀幸)
  1. 最適密度問題の楕円型正則化 / ○海津 聰 (東京理科大学) [概要]
  2. 高精度数値解法を用いた密度型位相最適化問題に対するH1勾配法 / 渡邉 祥 (愛知県立大学大学院情報科学研究科), ○代田 健二 (愛知県立大学情報科学部) [概要]
  3. 平均流れ抵抗を評価関数とする流れ場の密度型位相最適化問題( Topology optimization problem of density type for flow field using mean flow resistance as cost function) / ○橋本 一輝 (名古屋大学), 畔上 秀幸 (名古屋大学) [概要]
  4. Stokes流れ場の形状最適化問題における流れ抵抗を表す評価関数 / ○木村 悠伸 (名古屋大学), 畔上 秀幸 (名古屋大学) [概要]

▷ 数理設計(2) [3月7日:15:00-16:20:515](座長:代田 健二)
  1. 数値シムレーション半導体回路の変数選択時の電流・電圧(IV)特性による信頼性設計 / ○森 輝雄 (森技術士事務所) [概要]
  2. 位相記述法に基づくシリコンニューロンの遅延誘起同期機構の最適化設計 / ○中田 一紀 (電気通信大学大学院情報理工学研究科), 三浦 佳ニ (東北大学大学院情報科学研究科) [概要]
  3. 導波管の伝送特性に関する形状最適化問題 / ○佐竹 正義 (株式会社 日本自動車部品総合研究所), 畔上 秀幸 (名古屋大学大学院 情報科学研究科) [概要]
  4. 医療用データに基づく患者脊柱数値モデルの構築 / 佐藤 由実 (名古屋大学), ○畔上 秀幸 (名古屋大学) [概要]

▷ 数理的技法による情報セキュリティ [3月7日:09:40-10:50:510]
  1. Tamarin Proverによる投票プロトコルの安全性検証 / ○櫻田 英樹 (日本電信電話株式会社) [概要]
  2. Mizarによるnegligible function の形式定義について / ○岡崎 裕之 (信州大学), 布田 裕一 (北陸先端技術大学院大学) [概要]
  3. (30分講演) 無視し得る確率を表現する論理体系 / ○竹内 泉 (産業技術総合研究所) [概要]

▷ 数理ファイナンス(1) [3月7日:13:30-14:50:516](座長:石村 直之)
  1. コピュラの損害保険数理への応用 / ○西脇 悠也 (一橋大学大学院) [概要]
  2. A stochastic model on the risk of epidemic outbreaks for an iinsurer / 石村 直之 (一橋大学), ○石井 千晶 (一橋大学) [概要]
  3. 大証日経平均先物の日中取引時間間隔の分布に関する研究 / ○朱 麗枚 (筑波大学), 岸本 一男 (筑波大学) [概要]
  4. 日本のクレジット市場における信用リスク変動要因の検証 / ○廣中 純 (野村アセットマネジメント(株)) [概要]

▷ 数理ファイナンス(2) [3月7日:15:00-15:40:516](座長:石村 直之)
  1. A Non-Commutative Version of the Fundamental Theorem of Asset Pricing / ○琉 佳勳 (立命館大学) [概要]
  2. トップダウン型信用リスク評価における確率的細分化の改善法の提案 / ○山中 卓 (三菱UFJトラスト投資工学研究所), 杉原 正顯 (青山学院大学), 中川 秀敏 (一橋大学) [概要]
  3. Optimal Capital Structure with Scale Effects under Spectrally Negative Levy Models / ○山崎 和俊 (関西大学), Surya Budhi (Victoria University of Wellington) [概要]

▷ 数論アルゴリズムとその応用(1) [3月6日:11:10-12:10:509](座長:青木 美穂)
  1. 同じZ上の表現を持つ三変数正定値二次形式の数え上げについて / ○富安 亮子 (高エネ研/JSTさきがけ) [概要]
  2. On the computation of the dimensions of the cohomology groups of coherent sheaves on a projective space / ○工藤 桃成 (九州大学大学院数理学府) [概要]
  3. p進拡大体の高速計算法に関する最近の話題 / ○横山 俊一 (九州大学), 吉田 学 (九産大付属九州産業高校) [概要]

▷ 数論アルゴリズムとその応用(2) [3月6日:13:30-14:10:509](座長:長尾 孝一)
  1. A public key cryptosystem based on diophantine equations of degree increasing type / ○奥村 伸也 (九州大学大学院数理学府) [概要]
  2. MQチャレンジ ~多変数多項式暗号の安全性評価~ / ○安田 貴徳 (九州先端科学技術研究所) [概要]

▷ 連続体力学の数理(1) [3月6日:15:00-16:20:515](座長:木村 正人)
  1. 滑り・滑り速度依存摩擦下での定常的破壊伝播速度 / ○鈴木 岳人 (青学大理工) [概要]
  2. 地震により解放されるポテンシャルエネルギーと放射される波動エネルギーの関係 / ○平野 史朗 (筑波大学システム情報系) [概要]
  3. 形状に乱れを含む2次元帯状領域におけるHelmholtz方程式のガイド波問題の境界積分方程式法による解析について / 福田 哲史 (京大工学部), ○三澤 亮太 (京大情報学研究科), 西村 直志 (京大情報学研究科) [概要]
  4. スポット溶接の精度評価の逆問題について / 池畠 優 (広島大学), ○伊藤 弘道 (東京理科大学), 笹本 明 (産業技術総合研究所) [概要]

▷ 連続体力学の数理(2) [3月6日:16:30-17:30:515](座長:木村 正人)
  1. 化学反応を伴うき裂進展モデルのプロトタイプ / ○高石 武史 (広島国際学院大学) [概要]
  2. (60分講演) やわらかい弾性体の粘着・剥離ダイナミクス / ○山口 哲生 (九大工) [概要]

▷ 連続体力学の数理(3) [3月7日:09:40-10:40:515](座長:野津 裕史)
  1. NURBS基底関数を用いたSpace-Time有限要素法による数値解析 / ○乙黒 雄斗 (早稲田大学), 倉石 孝 (早稲田大学), 筒井 雄樹 (早稲田大学), 金井 太郎 (早稲田大学), 服部 均 (早稲田大学), 佐々木 崇史 (早稲田大学), 滝沢 研二 (早稲田大学), Tezduyar Tayfun E. (Rice University) [概要]
  2. NURBSを用いた時間変数の離散化手法の解析 / ○上田 祐暉 (東京大学数理科学研究科), 齊藤 宣一 (東京大学数理科学研究科) [概要]
  3. 熱方程式に対するある粒子法の誤差評価 / ○井元 佑介 (九州大学大学院 数理学府), 田上 大助 (九州大学 マス・フォア・インダストリ研究所) [概要]

▷ 連続体力学の数理(4) [3月7日:11:10-12:10:515](座長:野津 裕史)
  1. Numerical Construction of Theoretical Crack Propagation Based On The Griffith-Francfort-Marigo Energy / ○Ikhsan Armanda (Kanazawa University), Kimura Masato (Kanazawa University), Takaishi Takeshi (Hiroshima Kokusai Gakuin University) [概要]
  2. Optimal Shape Design Approach to an Inverse Free Boundary Problem / ○Ahsani Ummi Maharani (Kanazawa University), Kimura Masato (Kanazawa University), Azegami Hideyuki (Nagoya University), Ohtsuka Kohji (Hiroshima Kokusai Gakuin University) [概要]
  3. Parametric approach to the spiral motion of 2D curves / ○パウシュ ペトル (明治大学・チェコ工科大学), 矢崎 成俊 (明治大学) [概要]

▷ メッシュ生成・CAE [3月6日:09:40-10:40:509](座長:片岡 一朗)
  1. ボクセルを用いた絶縁距離チェック技術の開発 / ○濱口 崇志 (日立製作所), 小野寺 誠 (日立製作所) [概要]
  2. 向き付け不可能曲面のZometool近似 / ○坂田 幸士郎 (中央大学大学院理工学研究科情報工学専攻 アルゴリズム理論基礎研究室), 今井 桂子 (中央大学理工学部情報工学科), 森口 昌樹 (中央大学理工学部情報工学科) [概要]
  3. Isomapを用いたB-spline曲面フィッティング / ○キム スンキ (横浜国立大学), 吉田 雄飛 (横浜国立大学), 今井 祐介 (中央大学), 志田 健太朗 (横浜国立大学), 竹澤 正仁 (横浜国立大学), 川原田 寛 (横浜国立大学) [概要]

▷ 離散システム(1) [3月6日:09:40-11:00:510](座長:宮本 裕一郎)
  1. マッチング効用関数をもつ買い戻し問題に対するオンラインアルゴリズム / ○福田 俊 (東北大学), 塩浦 昭義 (東北大学) [概要]
  2. Speed Scaling Scheduling Viewed from Submodular Optimization / ○Shioura Akiyoshi (Tohoku University), Shakhlevich Natalia V. (University of Leeds), Strusevich Vitaly A. (University of Greenwich) [概要]
  3. 劣モジュラ正則化によるスケールフリーネットワークのリンク構造推定 / ○呉 天逸 (東京大学), 平井 広志 (東京大学) [概要]
  4. b-マッチング制約つき単調劣モジュラ関数最大化 / ○藤井 海斗 (東京大学) [概要]

▷ 離散システム(2) [3月6日:11:10-12:30:510](座長:宮本 裕一郎)
  1. グラフ上の連結性によるグループテスト / 羅 松 (筑波大学), ○松浦 悠司 (筑波大学), 繆 瑩 (筑波大学), 繁野 麻衣子 (筑波大学) [概要]
  2. 安定結婚問題における最適選好マッチングの戦略的操作について / ○平川 瑞樹 (九州大学), 山内 由紀子 (九州大学), 来嶋 秀治 (九州大学), 山下 雅史 (九州大学) [概要]
  3. 大規模イベントに向けたバスの運行計画最適化 / ○岡村 彩音 (株式会社 構造計画研究所), 斉藤 努 (株式会社 構造計画研究所), 指尾 健太郎 (株式会社 構造計画研究所), 秋葉 剛史 (株式会社 東芝) [概要]
  4. 群ラベル付きグラフにおける最短路アルゴリズム / 小林 佑輔 (東京大学), ○豊岡 祥 (東京大学) [概要]

▷ 離散システム(3) [3月6日:13:30-14:50:510](座長:宮本 裕一郎)
  1. ホーン規則による反マトロイドの表現と教育システム設計への応用 / ○吉川 和 (東京大学), 平井 広志 (東京大学), 牧野 和久 (京都大学) [概要]
  2. 共正定値計画に基づく最大安定集合問題に対するヒューリスティクス / ○東野 克哉 (東京大学) [概要]
  3. 行列式複雑度と双多項式ランク / ○矢部 顕大 (東京大学情報理工学系研究科) [概要]
  4. 集合関数のハイパーグラフカット表現 / ○山口 勇太郎 (東京大学) [概要]

▷ 産業における応用数理 [3月6日:16:30-17:30:509](座長:二村 保徳)
  1. Voxel法による3次元半導体形状シミュレーションと容量計算における計算技法の紹介 / ○武藤 雅基 (NTTデータ数理システム) [概要]
  2. 画像処理における機械学習 / ○永田 毅 (みずほ情報総研) [概要]
  3. ものづくり企業に役立つ応用数理手法の研究会の活動紹介 / ○井手 貴範 (アイシン・エィ・ダブリュ株式会社) [概要]