A Study on Realization of Language Processors by Providing Program Examples
语言处理器的程序实例实现研究
基本信息
- 批准号:18K11247
- 负责人:
- 金额:$ 2.75万
- 依托单位:
- 依托单位国家:日本
- 项目类别:Grant-in-Aid for Scientific Research (C)
- 财政年份:2018
- 资助国家:日本
- 起止时间:2018-04-01 至 2024-03-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
本研究の目標は、「行きつ戻りつ」を繰り返す探索的なスタイルによって、効果的にプログラミング言語の開発を行うための手法を提案することである。本応募課題では、開発者がプログラムの例示に基づいて言語の設計を探索的に行いつつ、効率的にその言語処理系の実装を得る手法の開発を目指す。本課題の目標の一つは、汎用言語ではない新たな言語の開発、特にドメイン特化言語(DSL)の開発に本手法を応用することである。本年度は、エージェントシミュレーション言語の開発を目標とし、振る舞いを詳細に記述する必要のあるシミュレーションについての研究を行った。また、DSLとして西洋音楽の楽譜を記述する言語とその演奏環境について設計した。前者は、本手法を適用する社会シミュレーション分野のドメイン特化言語(DSL)の設計を目的としている。実際にシミュレーションシステムの開発を行うことで、DSLが表現すべきモデルの検討を行った。後者については、構文の仕様に基づいた、探索的な編集が可能なインタフェースについて考案し、プロトタイプ実装を環境に組み込んだ。さらに、新たなDSLとして、教育向けプログラミング環境の開発におけるブロック言語について、その構文を本手法によって効率的に設計可能かどうかを検討した。本来、ビジュアル言語にはテキストとしての構文は不要であるが、構造に従った言語ブロックの組み合わせによって、プログラムを表現するため、本手法が有用であるとの示唆を得た。
の target は, this study "line き つ 戻 り つ" を Qiao り return す explore な ス タ イ ル に よ っ て, unseen fruit に プ ロ グ ラ ミ ン グ words の open 発 を line う た め の technique proposed を す る こ と で あ る. This 応 offering subject で は, open 発 が プ ロ グ ラ ム の exemplify に base づ い て words の line design を explore に い つ つ, sharper rate に そ 処 principle is の の words be loaded を る gimmick の driving 発 を refers す. This topic の target の つ は, universal words で は な い new た の open 発 な words, に ド メ イ ン specialized language (DSL) の open 発 に this gimmick を 応 with す る こ と で あ る. This year は, エ ー ジ ェ ン ト シ ミ ュ レ ー シ ョ ン words の open 発 を target と し, vibration る dance い を detailed account に す る necessary の あ る シ ミ ュ レ ー シ ョ ン に つ い て の を line っ た. ま た, DSL と し て western sound joy の joy spectrum を account す る words と そ の play environment に つ い て design し た. The former は, this technique を applies す る social シ ミ ュ レ ー シ ョ ン eset の ド メ イ ン specialized language (DSL) の design purpose を と し て い る. Be interstate に シ ミ ュ レ ー シ ョ ン シ ス テ ム の open 発 を line う こ と で, DSL が す べ き モ デ ル の 検 line for を っ た. The latter に つ い て は, constitutive の shi others に base づ い た, exploration of compiling が な may な イ ン タ フ ェ ー ス に つ い し て test case, プ ロ ト タ イ プ be loaded を environment に group み 込 ん だ. さ ら に, new た な DSL と し て, education to け プ ロ グ ラ ミ ン グ environment の open 発 に お け る ブ ロ ッ ク words に つ い て, そ の compose text を this gimmick に よ っ て unseen に design could か ど う か を beg し 検 た. Originally, ビ ジ ュ ア ル words に は テ キ ス ト と し て の compose text は don't で あ る が, tectonic に 従 っ た words ブ ロ ッ ク の group み close わ せ に よ っ て, プ ロ グ ラ ム を performance す る た め, this technique useful が で あ る と の in stopping を た.
项目成果
期刊论文数量(19)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
GPGPUを用いるエージェントシミュレーション開発用フレームワークに関する実用化のための拡張
使用GPGPU对代理模拟开发框架的实际应用进行扩展
- DOI:
- 发表时间:2021
- 期刊:
- 影响因子:0
- 作者:橋場悠人;佐々木晃
- 通讯作者:佐々木晃
プログラミング教育支援のための汎用プログラミング言語サブセットの作成手法の検討
创建通用编程语言子集支持编程教育的研究
- DOI:
- 发表时间:2022
- 期刊:
- 影响因子:0
- 作者:Mutsunori Banbara;Katsumi Inoue;Benjamin Kaufmann;Tenda Okimoto;Torsten Schaub;Takehide Soh;Naoyuki Tamura;Philipp Wanko;長谷健汰,佐々木晃
- 通讯作者:長谷健汰,佐々木晃
GPGPUを用いたマルチエージェントシミュレーションの開発向けフレームワークの研究
基于GPGPU的多智能体仿真开发框架研究
- DOI:
- 发表时间:2019
- 期刊:
- 影响因子:0
- 作者:橋場悠人 ;佐々木晃 ;鎌田知也
- 通讯作者:鎌田知也
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
佐々木 晃其他文献
数値人体モデルを用いたマイクロ波帯域の有限要素電磁界解析
利用数值人体模型进行微波频段有限元电磁场分析
- DOI:
- 发表时间:
2012 - 期刊:
- 影响因子:0
- 作者:
女部田 雅俊;佐々木 晃;柏木孝仁,佐々木晃,田沼英樹;武居周,室谷浩平,吉村忍,金山寛 - 通讯作者:
武居周,室谷浩平,吉村忍,金山寛
役割指向テンプレートジェネレータを用いたゲーミングシミュレーション開発手法の提案
提出一种使用面向角色的模板生成器的游戏模拟开发方法
- DOI:
- 发表时间:
2014 - 期刊:
- 影响因子:0
- 作者:
女部田 雅俊;佐々木 晃;市川学 - 通讯作者:
市川学
役割指向テンプレートジェネレータを用いたエージェントシミュレーション実験環境の構築手法
基于角色的模板生成器的Agent模拟实验环境构建方法
- DOI:
- 发表时间:
2013 - 期刊:
- 影响因子:0
- 作者:
女部田 雅俊;佐々木 晃 - 通讯作者:
佐々木 晃
佐々木 晃的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('佐々木 晃', 18)}}的其他基金
「なめらかな編集」のためのプログラミング言語仕様の拡大と縮小
“平滑编辑”的编程语言规范的扩展和收缩
- 批准号:
22K11981 - 财政年份:2022
- 资助金额:
$ 2.75万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
子どもの理数能力を高める幼小連携教育課程の開発
开发幼儿园和小学之间的合作课程,以提高儿童的科学和数学能力
- 批准号:
18906019 - 财政年份:2006
- 资助金额:
$ 2.75万 - 项目类别:
Grant-in-Aid for Encouragement of Scientists
保育の過程における教師自身の生活の創造について考える
在育儿过程中对教师自身生活创造的思考
- 批准号:
03907040 - 财政年份:1991
- 资助金额:
$ 2.75万 - 项目类别:
Grant-in-Aid for Encouragement of Young Scientists (B)
相似海外基金
コンパイラ中間表現に基づく情報流解析による安全性検証の多プログラミング言語展開
基于编译器中间表示的信息流分析多编程语言安全验证开发
- 批准号:
24K14906 - 财政年份:2024
- 资助金额:
$ 2.75万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
図式量子計算モデル理論の連続量系への一般化及びその量子コンパイラへの応用
图解量子计算模型理论对连续量系统的推广及其在量子编译器中的应用
- 批准号:
24KJ0745 - 财政年份:2024
- 资助金额:
$ 2.75万 - 项目类别:
Grant-in-Aid for JSPS Fellows
Production of Memory-Bandwidth-Centric Computing
以内存带宽为中心的计算的生产
- 批准号:
23K18461 - 财政年份:2023
- 资助金额:
$ 2.75万 - 项目类别:
Grant-in-Aid for Challenging Research (Exploratory)
高性能・省電力を両立する距離指定型アーキテクチャのコンパイラ理論体系化
实现高性能和省电的距离规格架构编译理论的系统化
- 批准号:
23KJ0500 - 财政年份:2023
- 资助金额:
$ 2.75万 - 项目类别:
Grant-in-Aid for JSPS Fellows
Achieving low-power and high-performance ultra-scalable processors with novel architecture
通过新颖的架构实现低功耗、高性能的超可扩展处理器
- 批准号:
23H03360 - 财政年份:2023
- 资助金额:
$ 2.75万 - 项目类别:
Grant-in-Aid for Scientific Research (B)
HPC Application Analysis for Multi-Factor Cooperative Approximate Computing
多因素协同近似计算的HPC应用分析
- 批准号:
23K11056 - 财政年份:2023
- 资助金额:
$ 2.75万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
距離指定型命令セットアーキテクチャによる超高効率実行の実証
使用特定于距离的指令集架构演示超高效执行
- 批准号:
23K19975 - 财政年份:2023
- 资助金额:
$ 2.75万 - 项目类别:
Grant-in-Aid for Research Activity Start-up
動的安全性と効率性を兼ね備えた秘密計算プロトコルを生成するコンパイラの構成
配置生成结合动态安全性和效率的安全计算协议的编译器
- 批准号:
23KJ0928 - 财政年份:2023
- 资助金额:
$ 2.75万 - 项目类别:
Grant-in-Aid for JSPS Fellows
Program synthesis for Processing-in-Memory architectures
内存处理架构的程序综合
- 批准号:
22K17872 - 财政年份:2022
- 资助金额:
$ 2.75万 - 项目类别:
Grant-in-Aid for Early-Career Scientists
IoT社会を支える粗粒度再構成可能アーキテクチャの設計開発基盤の実現
支持物联网社会的粗粒度可重构架构设计开发平台的实现
- 批准号:
22K17866 - 财政年份:2022
- 资助金额:
$ 2.75万 - 项目类别:
Grant-in-Aid for Early-Career Scientists