発表論文・著書

知能情報学専攻 (IST) > 知能情報ソフトウェア講座 > ソフトウェア基礎論分野 (FSS)

98F 98S 99 00 01 02 03 04 05 06 07

No Articles

98F 98S 99 00 01 02 03 04 05 06 07

M. Sato, Y. Kameyama
A Classical Catch/Throw Calculus with Tag Abstractions and its Strong Normalizability
Proc. the the 4th Australasian Theory Symposium, , 183-197

I. Takeuti
A Type theory for cyclic structure
3rd Fuji International Symposium on Functional and Logic Programming, , 207-226

I. Takeuti
An axiomatic system of parametricity
Fundamenta Informaticae, 33, 397-432

98 99F 99S 00 01 02 03 04 05 06 07

No Articles

98 99F 99S 00 01 02 03 04 05 06 07

M. Sato, T. Sakurai, R. Burstall
Explicit Environments
Lecture Notes in Computer Science, 1581, 340-354

98 99 00F 00S 01 02 03 04 05 06 07

I. Takeuti
Pruning for Principal Type Assignment
Electric Notes in Theoricical Computer Science, 31, 11

98 99 00F 00S 01 02 03 04 05 06 07

I. Takeuti
Pruning for Principal Type Assignment
Electronic Notes in Theoretical Computer Science, 31,

佐藤雅彦, 有川節夫, 佐藤泰介, 丸岡章, 宮野悟, 金田康正
発見科学の構想と展開
人工知能学会誌, 15, 595-607

98 99 00 01F 01S 02 03 04 05 06 07

M. Sato, Azza A. Taha, Y. Kamayama
A type-free context calculus
IPSJ Journal, 42, 38-47

M. Sato, T. Sakurai, R. Burstall
Explicit Environments
Fundamenta Informaticae, 45, 79-115

98 99 00 01F 01S 02 03 04 05 06 07

I. Takeuti
Effective fixed point theorem over a non-computably separable metric space
Lecture Notes in Computer Science, 2064, 310-322

H. Kamo, K. Kawamura, I. Takeuti
Computational Complexity of Fractal Sets
Real Analysis Exchange, 26, 1-21

M. Sato, Y. Kameyama, I. Takeuti
CAL: A Computer Assisted Learning system for Computation and Logic
EUROCAST Lecture Notes in Computer Science, 2178,

98 99 00 01 02F 02S 03 04 05 06 07

M. Sato, Y. Yukiyoshi
Strong normalizablitiy of the non-deterministic chatch/throw calculi
Theoretical Computer Science, 272, 223-245

M. Sato
Theory of judgments and derivations
Lecture Notes in Artificial Intelligence, 2281, 78-122

M. Sato, T. Sakurai, Y. Kameyama
A Simply Typed Context Calculus with First-Class Environments
Journal of Functional and Logic Programming, 2002,

98 99 00 01 02F 02S 03 04 05 06 07

Atsushi Igarashi, Benjamin C. Pierce
Foundations for Virtual Types
Information and Computation, vol. 175, no. 1

Atsushi Igarashi, Benjamin C. Pierce
On Inner Classes
Information and Computation, vol. 177, no. 1

98 99 00 01 02 03F 03S 04 05 06 07

Koji Nakazawa
Confluency and Strong Normalizability of Call-by-Value Lambda-Mu-Calculus
Theoretical Computer Science, vol. 290, pp. 429-463

98 99 00 01 02 03F 03S 04 05 06 07

Koji Nakazawa, Makoto Tatsuta
Strong Normalization Proof with CPS-Translation for Second Order ClassicalNatural Deduction
Journal of Symbolic Logic, vol. 68, no. 3

98 99 00 01 02 03 04F 04S 05 06 07

Atsushi Igarashi, Naoki Kobayashi
A Generic Type System for the Pi-Calculus
Theoretical Computer Science, vol. 311, no. 1-3

98 99 00 01 02 03 04F 04S 05 06 07

五十嵐 淳
Generic Java: 多相的型付けによる安全かつ再利用性の高 いオブジェクト指向プログラミング
情報処理, 45(6),

98 99 00 01 02 03 04 05F 05S 06 07

Atsushi Igarashi, Naoki Kobayashi
Resource usage analysis
ACM Transactions on Programming Languages and Systems, 27(2), 264-313

98 99 00 01 02 03 04 05F 05S 06 07

No Articles

98 99 00 01 02 03 04 05 06F 06S 07

No Articles

98 99 00 01 02 03 04 05 06F 06S 07

Satoshi Ikeda, Koji Nakazawa
Strong normalization proofs by CPS-translations
Information Processing Letters, 99(4), 163-170

Atsushi Igarashi, Mirko Viroli
Variant parametric types: A flexible subtyping scheme for generics
ACM Transactions on Programming Languages and Systems, 28(5), 795-847

佐藤 雅彦
計算と論理のための自然枠組 NF/CAL
コンピュータソフトウェア, 23(3), 3-13

98 99 00 01 02 03 04 05 06 07F 07S

Atsushi Igarashi, Hideshi Nagira
Union types for object-oriented programming
Journal of Object Technology, 6(2), 31-45

98 99 00 01 02 03 04 05 06 07F 07S

No Articles