Vol.17 No.4 December 2007

学会誌「応用数理」
学会誌「応用数理」 : Vol.17 No.4 December 2007
学会誌「応用数理」

発行日 2007.12.25

巻頭言
  • 会長所感:「場」としての学会活動 (岡本龍明) p.1


表彰
  • 論文賞,ベストオーサー賞 pp.2-5


特集: 数理的技法による情報セキュリティ
  • 特集「数理的技法による情報セキュリティ」にあたって (萩谷昌己) pp.6-7
  • 数理的技法による情報セキュリティの検証 (萩谷昌己) pp.8-15
  • spi 計算における暗号プロトコルの形式的検証 (住井英二郎) pp.16-26
  • 記号論及び計算論によるセキュリティ解析の相互関係 (萩原茂樹・米崎直樹) pp.27-37
  • ゲーム列による安全性証明の形式化と自動化 (真野健・櫻田英樹・河辺義信・塚田恭章) pp.38-46
  • BAN 論理から Protocol Composition Logic へ -セキュリティプロトコルの論理的検証法 (長谷部浩二・岡田光弘) pp.47-58


インダストリアルマテリアル
  • 製品設計 CAE のためのメッシュ生成技術 (西垣一朗・針谷昌幸) pp.59-66
  • タグチメソッドによる品質管理・生産管理支援 -物作りのイノベーションに向けたタグチメソッド(品質工学)の寄与- (大内義昭) pp.67-71


チュートリアル
  • 金融工学の数理(4) (石村直之) pp.72-77


フォーラム
  • 応用数理の遊歩道(51) NP困難性の35年:克服への道 (茨木俊秀) pp.78-81


ラボラトリーズ
  • 国内
    • 株式会社三菱総合研究所 (松本昌昭) pp.82-83
    • 立命館大学ナノフィジックス・シミュレーション研究室とオープンリサーチセンター (高野直樹) pp.84-86


学術会合報告
  • EE250会議概要報告 (福本康秀) pp.87-88
  • ICIAM 2007 参加記 (石渡哲哉・岡本久・緒方秀教・松尾宇泰) pp.88-91
  • SciCADE2007 概要報告 (松尾宇泰) pp.91-92


書評
  • 岩波 数学辞典 第4版 (小柳義夫) pp.93-94
  • カオス:カ学系入門(1)〜(3) (橋本康) pp.94-95
  • ダイヤモンドはなぜ美しい? - 離散調和解析入門 (谷村省吾) pp.95-96


学会記事
pp.97-100

17巻総目次
p.101

印刷用ページ