拡張可能な数式処理パッケージの製作法に関する研究

研究如何创建可扩展的公式处理包

基本信息

  • 批准号:
    61580028
  • 负责人:
  • 金额:
    $ 1.02万
  • 依托单位:
  • 依托单位国家:
    日本
  • 项目类别:
    Grant-in-Aid for General Scientific Research (C)
  • 财政年份:
    1987
  • 资助国家:
    日本
  • 起止时间:
    1987 至 无数据
  • 项目状态:
    已结题

项目摘要

最近のLispに含まれるパッケージ機能を活用することによって従来の数式処理システムと異なる利用法が期待されるものが作れるのではないかというアイデアを具体的に検討することと、そのようなパッケージを作成する場合の技術的な課題を明確化することの二つについて研究を進めてきた。まず、これまでに作られてきたLispプログラムを分析することによって、数式処理パッケージに要請される機能を整理した。その結果、主ね多項式(多変数を含む)を扱えればよく、機能の追加や変更が容易でなければならないという結果を得た。また、数式を表現するさまざまな形式に対応できる必要のあることも分った。次に、そのような機能を持つ数式処理パッケージのプロトタイプをCommon Lispを使って実現することによって、システム作成上の技術的な問題点を考察した。多項式を扱うことから、グレブナー基底の手法を取り入れて数学的に整理した形でパッケージを作り、効率が悪くならないような工夫を行なった。また、数式の表現形式として異なるものの間での変換機能も付加し、利用者インタフェースを良いものとすることも考えた。さらに、実効効率について調べるために、コンパイルを施したパッケージとインタプリティブに動く版の両方を作成し、これらの上で同じ処理を行なう実験を試みた。数メガバイト程度のワークステーションでもコンパイルしたものであれば使えそうな感触を得た。ただし、利用者による機能の拡張の容易さについてと利用者インタフェースについては問題点も残っているので、数式処理機能の充実と同時に、改めてこれらの点に焦点を置いた研究を続けることが望まれる。
Recently, Lisp has made clear the technical problems of the application of the new algorithm and the new algorithm. This is the first time I've ever seen a person who's been in a relationship with someone who's been in a relationship with someone else. The main polynomial (multiple numbers included) is easy to add, and the main polynomial is easy to add. The number of words in the form of a word is equal to the number of words in the form of a word. This article reviews the technical problems of the system and its implementation. Polynomials are used to organize mathematical information, and the efficiency of the information can be improved. The expression of the number is different from that of the number of users. In addition to the above, we will try our best to improve the quality of the products. The number of people who are interested in the game is very high. For example, the user can easily open the function, and the user can easily open the function. For example, the user can open the function at the same time, and the user can change the function at the same time. For example, the user can open the function at the same time.

项目成果

期刊论文数量(2)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
永田守男: 京都大学数理解析研究所講究録. 581. 105-130 (1986)
永田盛男:京都大学数学科学研究所 Kokyuroku。581. 105-130 (1986)。
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
永田守男: 情報処理学会誌. 27. 431-438 (1986)
永田盛雄:日本信息处理学会杂志 27. 431-438 (1986)。
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    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 }}

永田 守男其他文献

Verifying Properties of Parallel Programs : An Axiomatic Approach
  • DOI:
  • 发表时间:
    1976-09
  • 期刊:
  • 影响因子:
    0
  • 作者:
    永田 守男
  • 通讯作者:
    永田 守男

永田 守男的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('永田 守男', 18)}}的其他基金

企業年金に関する税務会計的研究-税務会計と財務会計の分離-
企业年金税务会计研究——税务会计与财务会计分离——
  • 批准号:
    11730074
  • 财政年份:
    1999
  • 资助金额:
    $ 1.02万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)
数式処理技術を利用した数学教育支援システム
利用公式处理技术的数学教育支持系统
  • 批准号:
    60780052
  • 财政年份:
    1985
  • 资助金额:
    $ 1.02万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)
数式処理を中心とした対話型問題解決システム
以数学公式处理为核心的交互式解题系统
  • 批准号:
    59780044
  • 财政年份:
    1984
  • 资助金额:
    $ 1.02万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)
対話型プログラミングシステムにおける関数型プログラムの自動合成
交互式编程系统中功能程序的自动合成
  • 批准号:
    58780048
  • 财政年份:
    1983
  • 资助金额:
    $ 1.02万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)
関数型言語の構造に依存した知的エディタに関する研究
依赖函数式语言结构的智能编辑器研究
  • 批准号:
    56790033
  • 财政年份:
    1981
  • 资助金额:
    $ 1.02万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)
関数型再帰的プログラムの停止性に関する研究
函数式递归程序的停止特性研究
  • 批准号:
    X00210----579027
  • 财政年份:
    1980
  • 资助金额:
    $ 1.02万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)
関数型プログラムの作成に関する研究
创建函数式程序的研究
  • 批准号:
    X00210----479035
  • 财政年份:
    1979
  • 资助金额:
    $ 1.02万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)

相似国自然基金

基于构造性证明的程序理论与LISP,PROLOG自动程序设计
  • 批准号:
    68673019
  • 批准年份:
    1986
  • 资助金额:
    1.0 万元
  • 项目类别:
    面上项目

相似海外基金

Typer: a Lisp approach to dependent types
Typer:一种处理依赖类型的 Lisp 方法
  • 批准号:
    298311-2012
  • 财政年份:
    2017
  • 资助金额:
    $ 1.02万
  • 项目类别:
    Discovery Grants Program - Individual
Typer: a Lisp approach to dependent types
Typer:一种处理依赖类型的 Lisp 方法
  • 批准号:
    298311-2012
  • 财政年份:
    2015
  • 资助金额:
    $ 1.02万
  • 项目类别:
    Discovery Grants Program - Individual
Typer: a Lisp approach to dependent types
Typer:一种处理依赖类型的 Lisp 方法
  • 批准号:
    298311-2012
  • 财政年份:
    2014
  • 资助金额:
    $ 1.02万
  • 项目类别:
    Discovery Grants Program - Individual
Typer: a Lisp approach to dependent types
Typer:一种处理依赖类型的 Lisp 方法
  • 批准号:
    298311-2012
  • 财政年份:
    2013
  • 资助金额:
    $ 1.02万
  • 项目类别:
    Discovery Grants Program - Individual
Typer: a Lisp approach to dependent types
Typer:一种处理依赖类型的 Lisp 方法
  • 批准号:
    298311-2012
  • 财政年份:
    2012
  • 资助金额:
    $ 1.02万
  • 项目类别:
    Discovery Grants Program - Individual
Lithospheric structure of the Namibian continental passive margin at the intersection with the Walvis Ridge from amphibious seismic investigations (LISP-WAL)
两栖地震调查显示纳米比亚大陆被动边缘与沃尔维斯海岭交汇处的岩石圈结构 (LISP-WAL)
  • 批准号:
    173404131
  • 财政年份:
    2010
  • 资助金额:
    $ 1.02万
  • 项目类别:
    Priority Programmes
マルチスレッドLispの実時間GC機能の導入とヒューマノイド行動の実現
多线程Lisp实时GC功能介绍及人形行为实现
  • 批准号:
    16016214
  • 财政年份:
    2004
  • 资助金额:
    $ 1.02万
  • 项目类别:
    Grant-in-Aid for Scientific Research on Priority Areas
ISO標準Lisp言語ISLISPの高性能処理系とプログラミング環境の実現
ISO标准Lisp语言ISLISP的高性能处理系统和编程环境的实现
  • 批准号:
    01J08266
  • 财政年份:
    2001
  • 资助金额:
    $ 1.02万
  • 项目类别:
    Grant-in-Aid for JSPS Fellows
STUDIES of FUNCTIONAL IMPROVEMENT and HIGHER COMPATIBILITY in CAI system described by LISP
LISP描述的CAI系统功能改进和更高兼容性的研究
  • 批准号:
    04558037
  • 财政年份:
    1992
  • 资助金额:
    $ 1.02万
  • 项目类别:
    Grant-in-Aid for Developmental Scientific Research (B)
Continued Development of P3D, A Lisp-based Metafile for 3D Models
持续开发 P3D,一种基于 Lisp 的 3D 模型图元文件
  • 批准号:
    9014315
  • 财政年份:
    1990
  • 资助金额:
    $ 1.02万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了