A Classical Catch/Throw Calculus with Tag Abstractions and its Strong Normalizability(Type Theory and its Applications to Computer Systems)
スポンサーリンク
概要
著者
-
佐藤 雅彦
京都大学大学院情報学研究科
-
佐藤 雅彦
Department Of Information Science Faculty Of Science University Of Tokyo
-
Kameyama Yukiyoshi
Department Of Computer Science Graduate School Of Systems And Information Engineering University Of
-
Kameyama Yukiyoshi
Department Of Information Science Kyoto University
-
Sato Masahiko
Department Of Cardiology Surugadai Nihon Univ. Hospital(the 2nd Department Of Internal Medicine)
-
Sato Masahiko
Graduate School Department Of Mathematics Kyoto University
-
Sato Masahiko
Department Of Information Science Kyoto University
-
Sato Masahiko
Departlent Of Physiological Anthropology Kyushu University Of Design Sciences
関連論文
- 計算と論理のための自然枠組NF/CAL(システム検証の科学技術)
- フレーゲの計算機科学への影響 (特集 フレーゲの現代性)
- 数学記号の認知速度 : 実験心理学的計測方法と実例
- Polyvariant Specializationon Type-directed Partial Evaluation
- Constructive Data Refinementの証明技法の改善
- 二階文脈計算(プログラミング及びプログラミング言語)
- 定理証明システムCoq上でのPre Logical Relationを用いた詳細化の正しさの証明
- 型情報を一部明示した環境計算体系
- A Second Order Typed Context Calculus
- 型付きλ計算の拡張によるMobile計算の定式化
- オメガ正規言語の測度が有理数であること
- プログラム理論 A Type-Free Context Calculus
- 適切さの論理を用いた帰納論理プログラミング
- 発見科学の構想と展開(発見科学)
- 参照透明な代入を持つ純関数型言語
- 自己反映的証明体系RPTの理論と実現
- ソフトウェア科学会第3回大会
- 照明の照度及び色濃度がCNVに及ぼす影響 : 生理人類学会第28回大会
- 17aRA-6 非線形抵抗性壁モードのモデリング
- THE TURN OVER OF ^3H-CATECHOLAMINE IN EXPERIMENTAL HEART FAILURE PRODUCED BY AORTIC CONSTRICTION IN THE RABBITS
- 構成的理論に基づいたプログラミング言語Zとその実装
- STUDIES ON HYPERTENSION: EFFECTS OF SALT ADMINISTRATION ON HUMORAL FACTORS AND HISTOLOGICAL CHANGES IN SHR : IInd Auditorium
- STUDY ON HYPERTENSION: EFFECT OF FUSARIC ACID ON HYPERTENSIVE MECHANISM AND INFLUENCE OF RENIN ANGIOTENSINALDOSTERONE SYSTEM : IIIrd Auditorium : PROCEEDINGS OF THE 40TH ANNUAL MEETING OF THE JAPANESE CIRCULATION SOCIETY
- STUDIES ON HYPERTENSION : REVIEW OF PLASMA AND URINARY CATECHOLAMINE ASSAYED BY DOUBLE-ISOTOPE DERIVATIVE METHOD IN THE PATIENTS WITH ESSENTIAL HYPERTENSION : (Part II)
- STUDIES ON HYPERTENSION : ^3H-DOPA METABOLISM IN HYPERTENSIVE RABBITS WITH CONSTRICTION OF COMMON CAROTID ARTERIES
- STUDY OF HYPERTENSION METABOLISM OF ^3H-DOPA IN HYPERTENSIVE DOGS WITH RENAL CLIPPING AND WITH CAROTID CONSTRICTION : Proceedlngs of the 35th Annual Meetlng of the Japanese Circulation Society (part I)
- Effects of Changes in Arousal Level by Continuous Light Stimulus on Contingent Negative Variation (CNV)
- 人間に関する情報の発信を目指して
- D12 Transient Temperature Variation beneath Rake Face in End Milling(Monitoring of machining process)
- 色彩の違いは体温に影響を及ぼすか? : 一般口演 : 生理人類学会第31回大会
- 照明と環境温度の複合効果が生体に及ぼす影響 : 生理人類学会第28回大会
- 低圧環境が視覚,触覚系に及ぼす影響 : 生理人類学会第28回大会
- 22pXG-13 負磁気シアートカマクにおける非線形ダブルテアリングモード
- Characterization of Gene Expression Profiles of Metallothionein-Null Cadmium-Resistant Cells
- OJ-366 Is "10-Year CHD Risk" useful for Prediction of Coronary Artery Plaques on MSCT?(CT/DSA-2 (I) OJ61,Oral Presentation (Japanese),The 70th Anniversary Annual Scientific Meeting of the Japanese Circulation Society)
- 日本人の生理人類学的特徴について(特別講演) (第41回日本体質学会総会(1991年9月6日,宮崎))
- II-14 Effect of Visual Stimulation by Natural Scenery on Central and Autonomic Nervous Systems(I) : In the Case of Good Correlation Between Sensory Evaluation and Physiological Response(Proceedings of the 45th Meeting of Japan Society of Physiological Ant
- 情報学科シンポジウム
- Atomic Hydrogen Annealing of Gate Dielectric in Pentacene Organic Thin-Film Transistors
- 71. Influence of High Energy Electron Beam for ECG, Histological Changes of Heart, GOT, GPT, LDH and Catecholamines in Rabbits
- Changes in EKG during Defecation : Part I
- PJ-747 Usefulness of MSCT Coronary Angiography for PCI Strategy(CT/DSA-9 (I) PJ128,Poster Session (Japanese),The 70th Anniversary Annual Scientific Meeting of the Japanese Circulation Society)
- A Formal Theory of Symbolic Expressions(LOGIC AND THE FOUNDATIONS OF MATHEMATICS)
- Algebraic Structure of Symbolic Expressions (Mathematical Studies of Information Processing)
- ニセ金発見パズルについて (計算機によるパズル・ゲームの研究)
- On Formal Fractions Associated with the Symmetric Groups (組合せ構造とグラフ理論)
- 2個の生成元を持つFree IN-Algebra及びFree ICN-Algebraの決定 (数理論理とモデル理論)
- Lゲームの計算機による分類 (計算機によるゲームとパズルをめぐる諸問題研究会報告集)
- Nonlinear Double Tearing Mode in Negative Shear Cylindrical Tokamaks
- EFFECTS OF COLORS ON EEG
- Effects of Color on Autonomic Nervous Functions
- The Influence of Hypobaric Hypoxia on Human
- Classical Brouwer-Heyting-Kolmogorov interpretation
- Changes of Background EEGs in Trials of The P300
- Diagnosis of primary versus metastatic ovarian adenocarcinoma using p53 gene mutation analysis
- The effect of luminance of lighting source on CNV
- The effect of the duration of exposure to the lighting conditions on CNV
- Characterization of Y pt7 in Arabidopsis thaliana
- A Classical Catch/Throw Calculus with Tag Abstractions and its Strong Normalizability(Type Theory and its Applications to Computer Systems)
- A Type System for Dynamic Delimited Continuations
- Voltage-induced Variation of Capacity Factors for Neutral Solutes by Using Hexa-6-bromo-hexa-6-deoxy-β-cyclodextrin Modified Column in Electrochromatography
- The Effect of Color Temperature of Lighting Sources on the Autonomic Nervous Functions
- The Lower Critical Temperature and Native Place
- Evaluatien of ligbting effects on living body by EEG topography
- Conjugacy of ELF emission spectra and powers
- 生理人類学あれこれ-広く深く
- CRTディスプレイ上での視作業における色相と輝度の相互効果について : 生理人類学会第32回大会
- Effects of Lighting on Heart Rate Variability and Blood Pressure Variability
- Characterization of Pseudo-Boolean Models by Boolean Models and Its Applications to Intermediate Logics
- On the Periods of Certain Pseudorandom Sequences
- Theory of Symbolic Expressions, II.
- Condolence
- The Progress of Physiological Anthropology in Japan
- The Effect of Color Temperature of Lighting Sources on Mental Activity Level
- Grundy Functions and Linear Games
- A Type System for Dynamic Delimited Continuations
- A Type System for Dynamic Delimited Continuations
- The Spontaneously Hypertensive Rat (8) : Proceedings of VIII Annual Scientific Meeting of the Council for the Spontaneously Hypertensive Rat October 8, 1972, Nagasaki
- Chaotic analysis for HRV
- A Study of Kripke-Type Models for Some Modal Logics by Gentzen's Sequential Method
- Changos in Catecholaaine Excretion under Different Lighting Conditions
- The Influence of Stressful Environmental Stimuli on Changes of Catecholamines and Blood Pressure
- ACUTE MYOCARDIAL INFARCTION IN FUKUSHIMA AREA OF JAPAN
- ACUTE MYOCARDIAL INFARCTION IN FUKUSHIMA AREA OF JAPAN
- Nonlinear Double Tearing Mode in Negative Shear Cylindrical Tokamaks