スポンサーリンク
九州大学情報基盤センター | 論文
- ヘテロジニアスな並列計算環境を応用した連成・連係計算の提案
- 精度保証付き数値計算(1) : 不動点定式化
- Webベースの教材作成・管理システムWeb Drillの機能と特徴について
- Der Fremdsprachenunterricht in Japan und Esperanto
- WebCTのテスト機能について
- オンライン外国語学習システムWeb Exercise : 可能性と課題
- 2次元および3次元モデルを用いたエッジトーンの数値解析 (オイラー方程式の数理 : 力学と変分原理250年)
- 連成・連携計算によるデータ量削減の評価
- 連成・連携計算によるデータ量削減の評価
- 精度保証付き数値計算(2) : 線形逆作用素のノルム評価
- 解けたらうれしい線形方程式
- Some computer assisted proofs on the bifurcation structure of solutions for the Rayleigh-Benard problem (流体と気体の数学解析--RIMS研究集会報告集)
- Rayleigh-Benard 問題の大域分岐構造に対する精度保証付き数値計算(計算科学の基盤技術とその発展)
- 多倍長計算を適用した精度保証数値計算 (21世紀における数値解析の新展開)
- SCAN 2004
- Navier-Stokes方程式の解に対する数値的検証の現状と動向 (数値解析と新しい情報技術)
- 高性能大規模計算と精度保証付き計算に関するワークショップ(学術会合報告)
- SCAN 2000/Interval 2000(学術会合報告)
- EFSを用いたXML変換規則の自動合成
- 連成・連携計算によるデータ量削減の評価