BNF学習支援機能を持つプログラミング環境NBの実現(プログラミング)
スポンサーリンク
概要
- 論文の詳細を見る
プログラミング学習時には,言語文法や,プログラミング技術のほかに,コンピュータサイエンスの諸概念を学習する必要がある.その1つにBNF(Backus-Naur Form)がある.BNFは言語の構文を記述する際に用いられるメタ言語であり,プログラミング言語の構文の記述にも頻繁に使用される.BNFの学習には,(1)読み方の教育,(2)書き方の教育,そして動機付けが必要である.BNFの教育にコンピュータを活用できないかと考え,我々は,プログラミング環境NBを設計,実現した.環境NBでは,対話的な可視化と実例主義が重要と考え,現実のプログラミング言語を利用し,BNFの学習支援機構を言語処理系に統合する方法が実現されている.学習を支援するため,次にあげる機能を実現した.(a)導出過程可視化機能,(b)構文調査機能,(c)構文エラー調査支援機能,(d)BNF一覧機能,(e)言語文法切替え機能。
- 一般社団法人情報処理学会の論文
- 2003-01-15
著者
-
並木 美太郎
東京農工大学
-
早川 栄一
拓殖大学工学部
-
吉澤 康文
東京農工大学大学院共生科学技術研究院
-
高橋 延匡
拓殖大学工学部
-
橋本 裕
東京農工大学工学部
-
吉澤 康文
東京農工大学 工学部 電子情報工学科
関連論文
- MIPS R3000プロセッサにおける細粒度動的スリープ制御の実装と評価(計算機システム)
- 1L-5 小型組込み機器を対象とした分散システムの構築法とその言語処理系の試作(組込みとネットワーク,学生セッション,アーキテクチャ)
- 5K-7 省電力MIPSプロセッサコア評価のための計算機システムのFPGAによる試作(マルチスレッドと省電力,学生セッション,アーキテクチャ)
- 1K-7 プログラミング言語Perlによるオペレーティングシステム構成法の研究(仮想化と言語処理系,学生セッション,アーキテクチャ)
- メモリ周りに制約を有するMPUにおけるプリフェッチ機能付メモリモジュールの意義(メモリシステム,「ハイパフォーマンスコンピューティングとアーキテクチャの評価」に関する北海道ワークショップ(HOKKE-2006))
- メモリ周りに制約を有するMPUにおけるプリフェッチ機能付メモリモジュールの意義(メモリシステム, 「ハイパフォーマンスコンピューティングとアーキテクチャの評価」に関する北海道ワークショップ(HOKKE-2006))
- 瞬時電源遮断機構を用いたマルチコアSoC向け省電力ソフトウェア実行環境 (コンカレント工学)
- 「情報B」の教科書比較 : 「手順的な自動処理」の観点から
- 6K-5 汎用ホモジニアスマルチコアにおける異種OSの連携機構(プロセッサと可視化,学生セッション,アーキテクチャ)
- MINIX3のCell B.E.への移植とSPEの管理方式の検討(セッション4:マルチコア向けシステムソフトウェア)
- 80386用OS/omicron開発のための言語C処理系の実行環境の設計
- XMLを用いた遠隔機器制御支援システム(組み込み機器とネットワークシステム)
- 重点領域研究「沖縄の歴史情報研究」の課題と研究成果
- 6K-6 マルチコアプロセッサにおけるスクラッチパッドメモリを用いたメモリ管理システムの試作(プロセッサと可視化,学生セッション,アーキテクチャ)
- 省電力MIPSプロセッサにおけるOSの試作とシミュレーションによる電力評価(セッション7:資源管理)
- 性能予測モデルの学習と実行時性能最適化機構を有する省電力化スケジューラ(省電力方式)
- MIPS R3000プロセッサにおける細粒度動的スリープ制御の実装と評価(低消費電力)
- 多様な資源を事前予約で同時確保するためのグリッドコアロケーションシステムフレームワークGridARS(グリッド)
- JavaVMによるx86ユーザーモードエミュレーション機構の実装と評価(OS-4:仮想化,2008年並列/分散/協調処理に関する『佐賀』サマー・ワークショップ(SWoPP佐賀2008))
- Gridの概念を用いた情報教育 : 思考力と言う観点から(学校での「自分で考えさせる教育」をみんなで考えよう)
- スーパースカラプロセッサにおける細粒度動的スリープ制御の実装と評価(低消費電力,集積回路とアーキテクチャの協創〜どう繋ぐ?どう使う?マルチコア〜)
- スーパースカラプロセッサにおける細粒度動的スリープ制御の実装と評価(集積回路とアーキテクチャの協創 : どう繋ぐ?どう使う?マルチコア)
- マイクロカーネル方式によるCell/B.E.向けOS構成法の提案とMINIX3による実現(カーネル)
- L4マイクロカーネルにおける省電力スケジューラの開発(セッション7:資源管理)
- 5N-9 マイクロカーネルを対象とした省電力スケジューラの開発(組み込みシステム,学生セッション,アーキテクチャ)
- コモディティOSとメモリマップによるクラスタシステムの実装
- DIMMnet-2 NICのTCP/IPプロトコルスタック用ネットワークドライバの実装と評価
- DIMMnet-2用Windowsドライバの実装と評価
- DIMMnet-2における通信ライブラリMPI-2の実現(通信と同期,「ハイパフォーマンスコンピューティングとアーキテクチャの評価」に関する北海道ワークショップ(HOKKE-2006))
- DIMMnet-2における通信ライブラリMPI-2の実現(通信と同期, 「ハイパフォーマンスコンピューティングとアーキテクチャの評価」に関する北海道ワークショップ(HOKKE-2006))
- DIMMスロット搭載型ネットワークインタフェースDIMMnetにおけるスレッドライブラリ(クラスタと通信, 分散処理, 「ハイパフォーマンスコンピューティングとアーキテクチャの評価」に関する北海道ワークショップ(HOKKE-2005))
- DIMMスロット搭載型ネットワークインタフェースDIMMnetにおけるスレッドライブラリ
- 電子メールを用いた文書作成支援システムの設計と実現
- DAVfsとAufsを用いた組込みLinuxによるシンクライアントシステムの試作(シンクライアントとネットワーク)
- PerlOSの試作と評価(OS-4 : ミドルウェア)
- SMTプロセッサにおけるスレッドスケジューラの開発(マルチスレッド)
- SMTプロセッサにおける再構成可能キャッシュモデルとFPGAによる実装
- FPGAを用いたSMTプロセッサの実現と再構成可能キャッシュメモリの検討(設計手法と高性能化, リコンフィギャラブルシステム, 一般)
- SMTプロセッサにおける同期方式の検討(プロセッサ技術(1), 「ハイパフォーマンスコンピューティングとアーキテクチャの評価」に関する北海道ワークショップ(HOKKE-2005))
- SMTプロセッサにおける同期方式の検討
- SMTプロセッサにおける細粒度最適化手法の検討(ARC-3 : プロセッサアーキテクチャIII)(2004年並列/分散/協調処理に関する『青森』サマー・ワークショップ(SWoPP青森2004) : 研究会・連続同時開催)
- SMTプロセッサにおける物理レジスタバンクの動的割当て
- SMTプロセッサにおけるスレッドスケジューラの開発(スレッド・プロセス)
- マルチスレッドアーキテクチャ向けOS「Future」におけるプロセス管理
- マルチスレッドアーキテクチャにおけるスレッドライブラリの実装と評価(プロセッサアーキテクチャ)
- SMTプロセッサにおけるアウトオブオーダ実行に必要なリソースの共有方式の評価(ARC-1:プロセッサ)(2003年並列/分散/協調処理に関する『松江』サマー・ワークショップ(SWoPP松江2003))
- スレッド管理機構を用いたオンチップマルチスレッドのためのキャッシュメモリシステム
- 6K-3 Cell/B.E.へのMINIX3の移植とヘテロジニアスマルチコアプロセッサ上でのプロセス管理方式の実現(プロセッサと可視化,学生セッション,アーキテクチャ)
- MIPS R3000プロセッサにおける細粒度動的スリープ制御の実装と評価
- 5N-8 DAVfsを用いた組込みLinuxによるシンクライアントシステムの試作(組み込みシステム,学生セッション,アーキテクチャ)
- 統計情報に基づく省電力 Linux スケジューラ(OS-1 : 実行基盤)
- 革新的電源制御による超低消費電力高性能システムLSIの構想(集積回路とアーキテクチャの協創-プロセッサ,メモリ,システムLSI及び一般-)
- 革新的電源制御による超低消費電力高性能システムLSIの構想(低消費電力化技術(2),集積回路とアーキテクチャの協創-プロセッサ,メモリ,システムLSI及び一般-)
- 「コンピュータを使わない情報教育」の学習法とそのデジタルコンテンツに関する研究
- マルチスレッドアーキテクチャOChiMuS PE向けシステムソフトウェアにおけるスレッド固有メモリの管理方式(システムプログラム)
- 理工系の日本語文章を対象とした字面の特徴の分析
- コア温度情報を用いたOSによる細粒度パワーゲーティング制御方式の設計
- 省電力・高速化を目的としたSSDを用いたディスクキャッシュシステムのブロックデバイスドライバによる実装
- Plan9とECMAScriptを用いた分散組込みシステムのプログラミングシステム
- OSデバッグ支援のためのハイパOS「忍」第2版の設計と実現
- OSデバッグ環境を使用したOMICRON V3のデバッグ
- OSデバッグ環境構築のためのハイパOSの実現
- Hyper-OSによるOSのデバッグ環境の研究
- OS/omicron第2版におけるタスク管理
- XMLを用いた遠隔機器制御支援システムとDBMSやICカードの連携(情報家電と組込みシステム)
- 省電力MIPSプロセッサGeyserのFPGA版評価ボードへのLinuxの移植
- 細粒度パワーゲーティングを制御するOSの資源管理方式
- 省電力MIPSプロセッサGeyserのFPGA版評価ボードへのLinuxの移植
- 細粒度パワーゲーティングを制御するOSの資源管理方式
- SSDをディスクキャッシュとして利用するLinuxブロックデバイスドライバ
- SSDをディスクキャッシュとして利用するLinuxブロックデバイスドライバ
- RubyによるOS構成法の提案とその実行基盤の試作
- RubyによるOS構成法の提案とその実行基盤の試作
- OS/omicronにおけるオンライン文書管理システム
- EDFスケジューリングにおけるDVFSを用いたCPU省電力化手法
- 細粒度パワーゲーティングを適用した汎用マイクロプロセッサGeyser-1
- 細粒度パワーゲーティングを適用した汎用マイクロプロセッサGeyser-1
- 省電力MIPSプロセッサを実現するFPGAにおけるOSの開発と評価
- 複数の浮動小数点表現法を処理するシステム環境の設計と実現
- 並列処理用OSカーネル"OMICRON V3"の開発とハイパOSによる共有メモリ型マルチプロセッサへの実装
- オペレーティングシステムにおけるオブジェクト管理の一方式
- OS/omicronにおける新しいデバイスの追加に対するOSの機能拡張の一方式
- OS/omicron第3版ファイルシステムの設計と実現
- 1つの実行形式で複数の浮動小数点表現を扱えるコードを生成する言語CコンパイラCAT/N
- MIPS R3000プロセッサにおける細粒度動的スリープ制御の実装と評価(低消費電力)
- OS/omicron上の日本語エディタ
- 高校の文化祭におけるCSアンプラグド企画実施の報告と課題
- オンラインストレージを用いた分散仮想ディスクの開発(分散ファイル・システム)
- L4マイクロカーネルにおける省電力スケジューラの開発
- マイクロプロセッサ内の演算器に対する適応型パワーゲーティング
- マイクロプロセッサ内の演算器に対する適応型パワーゲーティング
- 省電力MIPSプロセッサコア評価のための計算機システムのFPGAによる試作
- 省電力MIPSプロセッサコア評価のための計算機システムのFPGAによる試作
- プログラミング教育を目的とした言語Cパーザとインタプリタの開発
- OS/omicronにおける言語Cインクリメンタルパーザの基本設計
- OS/omicronにおけるプログラミング言語のCAIの基本設計
- HTTP-FUSE-KNOPPIX-BOXによるモバイルシンクライアントシステムの実現(ソフトウェア,ユビキタス時代の情報基盤技術論文)
- HTTP-FUSE-cloopによるP2Pモバイルシンクライアントシステム(分散ファイル・システム)
- HTTP-FUSE-KNOPPIX-BOXのキャッシュ導入による高速化と評価(最適化と評価)
- ネットワークカメラを用いた監視システムの拡張(分散システム構築運用技術,ユーザ指向の分散システム/インターネットの運用・管理)