[Discovery Saga Top] [Saga Next] [無料公開版Discovery Saga] [Discovery Sagaプレミアムご案内] [早稲田大学研究Discovery Saga] [産学連携のご案内] [Saga Concept] [会社概要] [お問い合わせ]
キーワード  GUI が関係する  研究 Discovery Saga
研究分野別サイレントキーワード
「GUI」サイレントキーワードを含む研究
【情報学】情報学フロンティア:JavaGUIを含む研究件
❏線形論理上の集合論のプログラム記述と検証への応用(09780300)
【研究テーマ】計算機科学
【研究種目】奨励研究(A)
【研究期間】1997 - 1998
【研究代表者】白旗 優 慶應義塾大学, 商学部, 専任講師 (00286618)
【キーワード】線形論理 / 集合論 / プログラム意味論 / GUI / Java
【概要】今年度は、昨年度の研究で作成したJavaアプレットPierを拡充し試験的な運用を開始した。Pierは、論理学での形式的な証明図を直観的に操作するための、グラフィックなユーザ・インターフェイスであるが、今年度はこのシステムにデータベースと連携する機能を付加した。これは、Javaに組み込まれているJDBC(Java DatabaseConnectivity)とよばれる一般的な枠組みを利用したものであり...
❏電子受容色素を持つタンパク質の電子状態と電子移動経路の理論的研究(07640682)
【研究テーマ】物理化学
【研究種目】基盤研究(C)
【研究期間】1995 - 1996
【研究代表者】柏木 浩 九州工業大学, 情報工学部, 教授 (10000853)
【キーワード】タンパク質 / 密度汎関数法 / オブジェクト指向プログラミング / チトクロムC_3 / オブジェクト指向による並列化 (他11件)
【概要】本年度は電子受容色素を持つタンパク質の巨大で複雑な電子状態をいかに効率的に計算させるかを最大の焦点とした。平成8年度の成果は以下の通りである。 1.タンパク質の全電子波動関数を計算する独自の密度汎関数法プログラムのほぼ全計算過程を並列化した。本研究で開発した密度汎関数法プログラムはオブジェクト指向技術を取り入れている。並列化にもこの技術を導入することにより、計算シナリオ部・計算実行部・並列処理通信...