研究者詳細

<< 業績一覧に戻る

学術論文
分割表示   全件表示 >>

42 件中 41 - 42 件目

年度
Year		 論文題目名
Title of the articles		 共著区分
Collaboration
   Classification		 NeoCILIUS
   請求番号／資料ID
Request No
掲載誌名 Journal name，出版機関名 Publishing organization，巻／号 Vol./no.，頁数 Page nos.，発行年月（日） Date
2002  Yicho - A System for Programming Program Calculations  共著   
Mathematical Engineering Technical Reports  ， the University of Tokyo  ， 7  ， 1-17  ， 2002/06   

概要（Abstract）  

備考（Remarks）  

2002  変換戦略の記述に基づくプログラムの自動生成システムの実装  共著   
情報処理学会論文誌：トランザクション「プログラミング」  ， 情報処理学会  ， Vol. 43 No. SIG3  ， 62-77  ， 2002/03   

概要（Abstract） プログラムの自動生成においては，変換規則の汎用性を高めるために，変換規則と変換規則の適用順序を制御することが重要である．変換規則と変換戦略を記述する理論的枠組みであるCCP（Calculation Carrying Program）についてはすでに報告しているが，筆者らの知る限りにおいては計算機上で稼動されたという報告はなく，CCPによる大きなプログラムの変換についての報告もない．本論文では，CCPの処理系を実装する方法を考察し，計算機上で実際に最大マーク付け問題のプログラムの自動生成について検討を行い，本システムの有効性を示す．

To relax the tension between clarity and efficiency in programming, we have proposed a theoretical framework called calculation carrying program, which accompanies straightforward specification with calculation specifying the intention (strategy) in a highly abstract way. In this paper, we give its first implementation, showing the system which not only automatically derives efficient programs from initial inefficient specification, but also interactively helps programmers to debug derivation steps. Furthermore, to show its power, we demonstrate how to use our system to generate efficient programs for solving maximum marking problems. 

備考（Remarks） 最大マーク付け問題の効率的プログラムの自動生成（情報処理学会第36回プログラミング研究会）を改訂したもの

http://id.nii.ac.jp/1001/00016802/ 

Page: [<<PREV] [1] [2] [3] [4] [5] [NEXT>>]

<< 業績一覧に戻る

△このページの先頭へ