情報基盤研究開発センター

研究成果 1991 2020

フィルター
記事
2004
16 引用 (Scopus)

A numerical verification of nontrivial solutions for the heat convection problem

Watanabe, Y., Yamamoto, N., Nakao, M. T. & Nishida, T., 12 1 2004, : : Journal of Mathematical Fluid Mechanics. 6, 1, p. 1-20 20 p.

研究成果: ジャーナルへの寄稿記事

Computer-assisted Proof
Numerical Verification
Heat convection
Rounding error
Floating point

CFDの深みにはまった経験

小野謙二, 5 10 2004, : : Turbomachinery International. 32, 5, p. 263-266 4 p.

研究成果: ジャーナルへの寄稿記事

D205 非定常大規模データのインタラクティブ可視化システムの開発

小野謙二, 玉木剛, 吉川広幸, 片野康生 & Ma, K-L., 2004, : : 可視化情報学会誌 = Journal of the Visualization Society of Japan. 24, 1, p. 311-314 4 p.

研究成果: ジャーナルへの寄稿記事

Visualization
Hardware
Volume rendering
Composite materials
Graphics processing unit
DDoS
Active networks
Attack
Routers
Router
Network Management
Network management
Application programs
Routing
Computer systems

Role of Fluid Dynamics Technology in Automobile Design

Ono, K., 4 2004, : : Review of Automotive Engineering. 25, 2, p. 129-134 6 p.

研究成果: ジャーナルへの寄稿記事

Data structures
Computer aided design
Computational fluid dynamics
Dynamical systems
User interfaces

画像重畳装置とクラスタ装置を使った高速可視化システムの開発

林幸子, 宮地英生 & 小野謙二, 7 1 2004, : : 可視化情報学会誌 = Journal of the Visualization Society of Japan. 24, 1, p. 299-302 4 p.

研究成果: ジャーナルへの寄稿記事

Visualization
Hardware
Rendering (computer graphics)

生体内における超音波伝播挙動の数値解析(OS9-2生物流体工学とその応用(循環器系の血流解析))

今北暁夫, 小野謙二, 吉澤晋 & 松本洋一郎, 11 24 2004, : : 流体工学部門講演会講演論文集. 2004, p. 277

研究成果: ジャーナルへの寄稿記事

非定常大規模データのインタラクティブ可視化システムの開発

小野謙二, 玉木剛, 吉川広幸, 片野康生 & Ma, K-L., 7 1 2004, : : 可視化情報学会誌 = Journal of the Visualization Society of Japan. 24, 1, p. 311-314 4 p.

研究成果: ジャーナルへの寄稿記事

2003

104 設計利用のためのインタラクティブボリュームレンダリングシステムの開発

小野謙二 & Ma, K. L., 11 22 2003, : : 計算力学講演会講演論文集. 2003, 16, p. 11-12 2 p.

研究成果: ジャーナルへの寄稿記事

Volume rendering
Product design
Visualization
Flow simulation
Data transfer
Poisson equation
Boundary conditions
Availability

646 設計支援のためのロバストな流体解析システム

小野謙二, 11 22 2003, : : 計算力学講演会講演論文集. 2003, 16, p. 571-572 2 p.

研究成果: ジャーナルへの寄稿記事

Circular cylinders
Product design
Navier Stokes equations
Fans
Boundary conditions

Internet camera selections in response to location-based requests from multiple users

Hiyamizu, A., Okamura, K. & Arikawa, M., 2003, : : Lecture Notes in Computer Science. 2662, p. 406-415 10 p.

研究成果: ジャーナルへの寄稿記事

Camera
Cameras
Internet
Mobile Communication
Fixed point
7 引用 (Scopus)

Some computer assisted proofs for solutions of the heat convection problems

Nakao, M. T., Watanabe, Y., Yamamoto, N. & Nishida, T., 10 2003, : : Reliable Computing. 9, 5, p. 359-372 14 p.

研究成果: ジャーナルへの寄稿記事

Computer-assisted Proof
Heat convection
Nontrivial Solution
Convection
Heat
Multicast
Traffic
Internet
Data transfer
Merging

自動車設計における空力音予測の研究動向

小野謙二, 10 1 2003, : : 騒音制御. 27, 5, p. 318-323 6 p.

研究成果: ジャーナルへの寄稿記事

2002
4 引用 (Scopus)

Verified numerical computations for multiple and nearly multiple eigenvalues of elliptic operators

Toyonaga, K., Nakao, M. T. & Watanabe, Y., 10 1 2002, : : Journal of Computational and Applied Mathematics. 147, 1, p. 175-190 16 p.

研究成果: ジャーナルへの寄稿記事

Multiple Eigenvalues
Elliptic Operator
Numerical Computation
Eigenvalue Problem
Mathematical operators
2001

C234 自動車設計への適用を考慮したロバストな流体解析手法

小野謙二, 7 31 2001, : : 日本流体力学会年会講演論文集. 2001, p. 281-282 2 p.

研究成果: ジャーナルへの寄稿記事

Computational fluid dynamics
Flow simulation
Turnaround time
Industry
15 引用 (Scopus)

HF-STEX and RASSCF calculations on nitrogen K-shell X-ray absorption of purine base and its derivative

Mochizuki, Y., Koide, H., Imamura, T. & Takemiya, H., 3 1 2001, : : Journal of Synchrotron Radiation. 8, 2, p. 1003-1005 3 p.

研究成果: ジャーナルへの寄稿記事

purines
guanines
adenines
X ray absorption
nucleic acids

Verified Numerical Computations for an Inverse Elliptic Eigenvalue Problem with Finite Data

Nakao, M. T., Watanabe, Y. & Yamamoto, N., 6 2001, : : Japan Journal of Industrial and Applied Mathematics. 18, 2, p. 587-602 16 p.

研究成果: ジャーナルへの寄稿記事

Enclosure
Enclosures
Elliptic Problems
Numerical Computation
Eigenvalue Problem
2000

A lambda proof of the P-W theorem

Hirokawa, S., Komori, Y. & Nagayama, M., 1 1 2000, : : Journal of Symbolic Logic. 65, 4, p. 1841-1849 9 p.

研究成果: ジャーナルへの寄稿記事

Theorem
Natural Deduction
P Systems
Intuitionistic Logic
Term

WS5-4 自動車の空力騒音解析

小野謙二, 9 8 2000, : : 流体工学部門講演会講演論文集. 2000, p. 324-327 4 p.

研究成果: ジャーナルへの寄稿記事

numerical analysis
mirrors
flow distribution
vehicles
grids

エアクリーナ雪入り予測手法の開発

古尾谷信吾, 浦智紀, 池田雅文 & 小野謙二, 12 1 2000, : : 自動車技術. 54, 12, p. 61-63 3 p.

研究成果: ジャーナルへの寄稿記事

解説 自動車設計に関わる流体問題と日産自動車における空力分野のCFDについて

小野謙二 & 姫野龍太郎, 7 2000, : : 数値流体力学. 8, 4, p. 167-179,190

研究成果: ジャーナルへの寄稿記事

1999
1 引用 (Scopus)

Research on high performance databases

Makinouchi, A., Kakeshita, T. & Hirofumi, A., 1 1 1999, : : IEICE Transactions on Information and Systems. E82-D, 1, p. 13-21 9 p.

研究成果: ジャーナルへの寄稿記事

Parallel algorithms
Data mining
Object-oriented databases
1998
7 引用 (Scopus)

A posteriori and constructive a priori error bounds for finite element solutions of the Stokes equations

Nakao, M. T., Yamamoto, N. & Watanabe, Y., 4 24 1998, : : Journal of Computational and Applied Mathematics. 91, 1, p. 137-158 22 p.

研究成果: ジャーナルへの寄稿記事

A Priori Error Bounds
Stokes Equations
Finite Element Solution
Inf-sup Condition
Stokes Problem
1 引用 (Scopus)

Constructive L2 Error Estimates for Finite Element Solutions of the Stokes Equations

Nakao, M. T., Yamamoto, N. & Watanabe, Y., 12 1 1998, : : Reliable Computing. 23, 5, p. 115-124 10 p.

研究成果: ジャーナルへの寄稿記事

Stokes Equations
Finite Element Solution
Error Bounds
Error Estimates
Rate of Convergence
5 引用 (Scopus)

Infiniteness of proof(α) is polynomial-space complete

Hirokawa, S., 10 6 1998, : : Theoretical Computer Science. 206, 1-2, p. 331-339 9 p.

研究成果: ジャーナルへの寄稿記事

Polynomials
Polynomial
Normal Form
Natural Deduction
Sequent Calculus
1997

A new memory allocation method for shared memory multiprocessors with large virtual address space

Koide, H., Suzuki, M. & Nakayama, Y., 9 1997, : : Concurrency Practice and Experience. 9, 9, p. 897-914 18 p.

研究成果: ジャーナルへの寄稿記事

Virtual addresses
Storage allocation (computer)
Shared-memory multiprocessors
Application programs
Data storage equipment
5 引用 (Scopus)

Verified computations of solutions for nondifferentiable elliptic equations related to MHD equilibria

Watanabe, Y., Yamamoto, N. & Nakao, M. T., 2 3 1997, : : Nonlinear Analysis, Theory, Methods and Applications. 28, 3, p. 577-587 11 p.

研究成果: ジャーナルへの寄稿記事

Piecewise linear techniques
Magnetohydrodynamics
Elliptic Equations
Boundary value problems
Fixed point theorem
1996

110 CFDによる車用ミラーの空力騒音の合成と流れの可視化

姫野龍太郎, 福島達也 & 小野謙二, 1996, : : 可視化情報学会誌 = Journal of the Visualization Society of Japan. 16, 1, p. 87-90 4 p.

研究成果: ジャーナルへの寄稿記事

aerodynamic noise
flow visualization
charge flow devices
video tapes
mirrors

A Reduction Rule for Peirce Formula

Hirokawa, S., Komori, Y. & Takeuti, I., 1 1 1996, : : Studia Logica. 56, 3, p. 419-426 8 p.

研究成果: ジャーナルへの寄稿記事

Figure
Strong Normalization
Classical Logic
Term
Normalization

CFDによる車用ミラーの空力騒音の合成と流れの可視化

姫野龍太郎, 福島達也 & 小野謙二, 7 1 1996, : : 可視化情報学会誌 = Journal of the Visualization Society of Japan. 16, p. 87-90 4 p.

研究成果: ジャーナルへの寄稿記事

11 引用 (Scopus)

Normal Proofs and Their Grammar

Takahashi, M., Akama, Y. & Hirokawa, S., 3 15 1996, : : Information and Computation. 125, 2, p. 144-153 10 p.

研究成果: ジャーナルへの寄稿記事

Grammar
2 引用 (Scopus)

The proofs of α → α in P - W

Hirokawa, S., 3 1 1996, : : Journal of Symbolic Logic. 61, 1, p. 195-211 17 p.

研究成果: ジャーナルへの寄稿記事

Term
Natural Deduction
Axiom
Axioms
Normal Form

Visualization of a Flow around a Circular Cylinder with Spiral Grooves Using CFD

Ono, K., Himeno, R., Sato, S. & Kikuchi, N., 12 1996, : : Album of visualization. 13, p. 17-18 2 p.

研究成果: ジャーナルへの寄稿記事

マルチレベル直交格子を用いた三次元非定常非圧縮性流体の解析

小野謙二, 姫野龍太郎, 冨田直幸 & 藤谷克郎, 7 1996, : : 日本流体力学会年会講演論文集. 15, p. 243-244 2 p.

研究成果: ジャーナルへの寄稿記事

車体外部の微小な形状変化が流れ場に及ぼす影響について

小野謙二, 姫野龍太郎, 塩澤博行 & 佐藤早苗, 5 29 1996, : : 計算工学講演会論文集. 1, 1, p. 475-478 4 p.

研究成果: ジャーナルへの寄稿記事

1995

WAKASHI/C: A storage system for multimedia database

Bai, G., Amano, H. & Makinouchi, A., 1995, : : Systems and Computers in Japan. 26, 7, p. 13-23 11 p.

研究成果: ジャーナルへの寄稿記事

Multimedia Databases
Storage System
Data storage equipment
Heap
Volatiles
1994
4 引用 (Scopus)

On computational proofs of the existence of solutions to nonlinear parabolic problems

Nakao, M. T. & Watanabe, Y., 5 20 1994, : : Journal of Computational and Applied Mathematics. 50, 1-3, p. 401-410 10 p.

研究成果: ジャーナルへの寄稿記事

Nonlinear Parabolic Problems
Numerical Verification
Existence of Solutions
Parabolic Problems
A Priori Error Estimates
1993
25 引用 (Scopus)

Numerical verifications of solutions for nonlinear elliptic equations

Watanabe, Y. & Nakao, M. T., 2 1 1993, : : Japan Journal of Industrial and Applied Mathematics. 10, 1, p. 165-178 14 p.

研究成果: ジャーナルへの寄稿記事

Nonlinear Elliptic Boundary Value Problem
Numerical Verification
Existence of Weak Solutions
Nonlinear Elliptic Equations
Finite Element Approximation
14 引用 (Scopus)

Principal types of BCK-lambda-terms

Hirokawa, S., 1 18 1993, : : Theoretical Computer Science. 107, 2, p. 253-276 24 p.

研究成果: ジャーナルへの寄稿記事

Substitution reactions
Term
Assignment
Normal Form
Figure
2 引用 (Scopus)

The relevance graph of a BCK-formula

Hirokawa, S., 6 1 1993, : : Journal of Logic and Computation. 3, 3, p. 269-285 17 p.

研究成果: ジャーナルへの寄稿記事

Directed graphs
Graph in graph theory
Relevance
Graph
Term
1992

Evaluation of a deductive database system for CAD applications

Takagi, T., Suzuki, T., Goto, S. & Ushijima, K., 1 1 1992, : : Systems and Computers in Japan. 23, 13, p. 15-27 13 p.

研究成果: ジャーナルへの寄稿記事

Deductive Databases
Deductive System
Database Systems
Computer aided design
Evaluation
2 引用 (Scopus)

The converse principal type-scheme theorem in lambda calculus

Hirokawa, S., 3 1 1992, : : Studia Logica. 51, 1, p. 83-95 13 p.

研究成果: ジャーナルへの寄稿記事

Lambda Calculus
Converse
Term
Theorem
Assignment

くいちがい配置された2正方形柱まわりの流れ

藤原和人, 松尾日出男, 小野謙二 & 広江哲幸, 1992, : : 日本航空宇宙学会誌. 40, 460, p. 276-284 9 p.

研究成果: ジャーナルへの寄稿記事

Vortex flow
Flow visualization
Flow patterns
Computer simulation