• 検索結果がありません。

構成的理論に基づいたプログラミング言語Zとその実装

N/A
N/A
Info
ダウンロード
Protected

Academic year: 2021

シェア "構成的理論に基づいたプログラミング言語Zとその実装"

Copied!
1
0
0

読み込み中.... (全文を見る)

今ダウンロードする ( 1 ページ )

全文

(1)情報処理学会論文誌. プログラミング. Vol. 3. No. 5. 31 (Dec. 2010). （平成 22 年 6 月 14 日発表）. 発表概要. 構成的理論に基づいたプログラミング言語 Z とその実装 新. 名. 庸 生†1 佐 藤 八 杉 昌 宏†1. 雅 彦†1 湯 淺. 馬 谷 太 一†1. 誠. 二†1. プログラミング言語 Z には簡潔で厳密なセマンティックが与えられており，将来的 には Z で記述したプログラムついてもその数学的，論理的性質を素直に記述，証明で きる言語になることを目指している．今回は Z のコア言語となる pure Z と，Java で 書かれた Lisp 処理系 JAKLD を基にした pure Z の実装を紹介する．JAKLD は携 帯電話でも動くコンパクトさと改造しやすさから pure Z の実装に適している．今回 の pure Z の実装は今後の拡張に備え，コンパクトさと改造のしやすさを引き継いだ 実装になっている．. Programming Language Z Based on Constructive Theory and Its Implementation Yasunari Niina,†1 Masahiko Sato,†1 Seiji Umatani,†1 Masahiro Yasugi†1 and Taiichi Yuasa†1 The programming language Z is given a simple and strict semantics, and we expect we will be able to easily describe mathematical and logical properties of programs written in Z in the future. In this search, we introduce a core language of Z called pure Z and its implementation based on JAKLD, a Lisp system written in Java. JAKLD is suitable for the purpose because it is so compact that some versions of it runs on mobile phones and designed so that it will be easy to add, delete, and modify its functionalities. Our implementation of pure Z keeps the compactness and easiness for the next extension.. †1 京都大学大学院情報学研究科 Graduate School of Informatics, Kyoto University. 31. c 2010 Information Processing Society of Japan .

(2)

参照

今ダウンロードする ( PDF - 1 ページ - 31.63 KB )

関連したドキュメント

with PSL (2, Z) of Genus 0 and 1

In this paper a result of Zograf is used to find a bound for the level of any congruence subgroup in terms of its genus.. We call these groups “moonshine groups.” The list of genus

ZFC is ZF + AC . ZF isZermelo–FraenkelsettheorywithouttheAxiomofChoice( AC ).3. 1. ω denotes(asusual)thesetofnaturalnumbers.2. 1.Notation,terminology,formulationofthegeneralproblemandaimNotation1. HorstHerrlich,EleftheriosTachtsis Z ofintegers Onthesolvab

“every uncountable system of linear homogeneous equations over Z , each of its countable subsystems having a non-trivial solution in Z , has a non-trivial solu- tion in Z” implies

子どもの生活リズムと健康 学習習慣に関する調査 2021 ダイジェスト版 研究背景 睡眠や体内時計についての基礎研究が進み 規則正しい生活習慣の重要性が科学的に証明されつつあります その一方で 子どもの夜ふかしやデジタル機器の使い過ぎ 不規則な食 睡眠習慣が問題になり 健康や学業成績への影響が懸念さ

1-1 睡眠習慣データの基礎集計 ……… p.4-p.9 1-2 学習習慣データの基礎集計 ……… p.10-p.12 1-3 デジタル機器の活用習慣データの基礎集計………

2 Gromov–Witten invariants

To do so, we overcome the technical difficulties to global loop equations for the spectral x(z) = z + 1/z and y(z) = ln z from the local loop equations satisfied by the ω g,n ,

0 weakly inET, (1.1) whereA:ET×RN+1→RN is measurable and subject to the structure conditions (A(x, t, z, ξ)·ξ≥C0m|z|m−1|ξ|2 |A(x, t, z, ξ)| ≤C1m|z|m−1|ξ| (1.2) for a.e

A H¨ older regularity result for signed solutions was obtained first by DiBenedetto in [3] for degenerate (p > 2) p-laplacian type equations and then by Chen and DiBenedetto in

Gica and Luca prove that there are only the three known solutions with z = 1

Our goal in this short note is to give a quick proof of a stronger result, which immediately generalizes to partially resolve a conjecture of Gica and Luca on equation (1)..

認定調査票記入の手引き

・少なくとも 1 か月間に 1 回以上、1 週間に 1

祭りの実態調査2019 調査報告書

・この1年で「信仰に基づいた伝統的な祭り（A)」または「地域に根付いた行事としての祭り（B)」に行った方で