5M-8 Javaをターゲットにした自国語プログラミングの実験

スポンサーリンク

概要

• 論文の詳細を見る
• 一般社団法人情報処理学会の論文
• 1999-03-09

著者

• 後藤 英一

  神奈川大学理学部情報科学科

• 野口 健一郎

  神奈川大学理学部情報科学科

• 鈴木 康彦

  神奈川大学理学部情報科学科

• 野口 健一郎

  神奈川大学大学院理学研究科情報科学専攻

関連論文

• 数学記号の認知速度 : 実験心理学的計測方法と実例
• 情報科学教育におけるノートPC利用の研究
• 神奈川大学理学部情報科学科におけるノートパソコンを利用した情報教育の試み
• 理学部研究ニュース
• 今井・高橋両先生を囲んで
• 理学部研究ニュース
• M-020 赤外線リモコンを利用したホームサーバの実験(M分野:ユビキタス・マルチメディア・セキュリティ)
• 計算発熱損失の最小値とその速度依存性 (量子力学系の数理とその量子コンピュータへの応用)
• Clock dependence of the computational heat found by simulation (Analytical Study of Quantum Information and Related Fields)
• 関数の高速計算法の改良と新提案
• 初等関数の高速計算法
• 発熱のない計算 (不可能)
• パネル討論会 : 新しい計算機アーキテクチャ : 非ノイマン機能 : 昭和52年度第18回全国大会報告
• 原子および分子の電子構造計算における直接捜索法 (科学計算基本ライブラリーのアルゴリズム)
• 発表の国際性
• Support Vector Machineを用いた電子メールの自動分類
• アカウンティング情報を用いた利用者の専門性分析
• 5M-8 Javaをターゲットにした自国語プログラミングの実験
• B-036 拡張状態遷移技法を用いた仕様検証の実験 : 組込み用OS試作への適用(ソフトウェア,一般論文)
• B-035 形式手法を用いた組込み用OSの試作 : Bメソッドによる仕様検証実験(ソフトウェア,一般論文)
• B-008 組込み用を目指したOSのセキュリティの研究 : MINIX3のセキュリティ機能の評価と強化の実験(B分野:ソフトウェア)
• A-020 実行可視化機能を備えた図形ベースプログラミング学習支援ツール(A分野:モデル・アルゴリズム・プログラミング,一般論文)
• M-046 Webサービス技術を実装した情報家電プラットフォームの作成実験(M.ネットワーク・モバイルコンピューティング)
• L-028 メールユーザエージェントによる送信ドメイン認証の実験(L分野:ネットワーク・セキュリティ,一般論文)
• 多言語プログラミング環境の研究(2002年度共同研究プロジェクト)
• M. 多言語プログラミング環境の研究
• R. 自国語プログラミング環境の研究
• O. 自国語プログラミング環境の研究
• B-033 組込みOS用暗号化ロードモジュール機能及びセキュアファイルサーバの試作(B分野:ソフトウェア,一般論文)
• 形式手法 ─ ソフトウェアの信頼性確保のアプローチ ─
• 3G-5 やさしいプログラミング言語「かいてみよう」とその実行環境「神平君」 : 高校教科情報の補助教材の提案(情報教育,一般セッション,コンピュータと人間社会)
• M-072 Webサービスのセキュリティの研究 : WS-Security/SAML/XACML適用の基礎実験(M分野:ユビキタス・モバイルコンピューティング)
• L-039 携帯電話を用いた電子印鑑システムの改良と出席通知システムへの適用実験(L分野:ネットワーク・セキュリティ)
• M_037 携帯電話を利用した電子印鑑システムの作成実験(M分野:アーキテクチャ・ユビキタス・セキュリティ)
• L_037 XML文書に適合するRELAX NGスキーマの自動生成実験 : スキーマ仕様のサポート範囲の拡大(L分野:ネットワークコンピューティング)
• L_010 携帯電話用Webサービスクライアントの自動構成実験(L分野:ネットワークコンピューティング)
• M-037 インタフェース定義言語IDLからのWebサービス・プログラム自動生成実験(M分野:ユビキタス・マルチメディア・セキュリティ)
• M-015 Webサービスのセキュリティの研究 : XACMLを用いたアクセス制御の基礎実験(M分野:ユビキタス・マルチメディア・セキュリティ)
• B-021 セキュアOS LIDSの機能の検証と運用の自動化実験(B分野:ソフトウェア)
• B-001 Javaをターゲットにした自国語プログラミングの実験 : 多国語の運用(B分野:ソフトウェア)
• ウェブサービスのセキュリティの研究(2004年度神奈川大学総合理学研究所助成共同研究)
• M-083 SAMLを利用したWebサービスの認証方式の検討(M.ネットワーク・モバイルコンピューティング)
• M-009 XML文書に適合するRELAX NGスキーマの自動生成実験(M.ネットワーク・モバイルコンピューティング)
• M-013 XML暗号化規格の実装実験および検討(M分野:ユビキタス・マルチメディア・セキュリティ)
• B-7 Javaをターゲットにした自国語プログラミングにおける辞書を用いた自動変換(ソフトウェア開発支援ツール,B.ソフトウェア)
• L-010 メールユーザエージェントによる送信者認証の実験 : DKIM方式の適用(セキュリティ運用管理,L分野:ネットワーク・セキュリティ)
• B-044 安全な組込み用OSの試作 : セパレーションカーネルに基づくセキュリティ機能の検討(OS・ストレージ,B分野:ソフトウェア)
• B-043 組込み用OSのネットワーク機能の設計と形式手法SPINによる検証(OS・ストレージ,B分野:ソフトウェア)
• M-21 XMLを利用した遠隔地からの家庭用機器の操作方式(サービス・資源管理と応用(2),M.ネットワーク・モバイルコンピューティング)
• 一斉射撃問題を解いてみる : 分かりやすい 8 状態最少時間解まで

もっと見る 閉じる

スポンサーリンク