https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&indexId=2426
97(1993-PRO-014)
情報学広場:情報処理学会電子図書館
2009-06-23T00:00:00+09:00
2009-06-23T00:00:00+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=30526&itemNo=1
梅村, 晃広
梅村晃広
モナドに基づく代数仕様の書換え
2009-06-30T06:42:37+09:00
2009-06-30T06:42:37+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=30527&itemNo=1
カサブランカ, ファビオ
カサブランカファビオ
村上, 昌己
村上昌己
結縁祥治
稲垣, 康善
稲垣康善
並行論理型言語の意味領域としてのガード付きストリーム:意味論的および構文的同値関係について
2009-06-30T06:42:37+09:00
2009-06-30T06:42:37+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=30528&itemNo=1
福田, 晴元
福田晴元
高橋, 直久
高橋直久
リアクティブ・データフロー型ドキュメントブラウザのためのドキュメント・プログラミング
2009-06-30T06:42:37+09:00
2009-06-30T06:42:37+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=30529&itemNo=1
久野, 靖
久野靖
状態抽象:モジュール化のもう1つの可能性
2009-06-30T06:42:37+09:00
2009-06-30T06:42:37+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=30530&itemNo=1
鈴木, 大介
鈴木大介
パラメトリックな多相とアドホックな多相の共生する計算系
2009-06-30T06:42:37+09:00
2009-06-30T06:42:37+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=30531&itemNo=1
立木, 秀樹
立木秀樹
多重定義と部分型が存在する計算の強正規性と型保存性について
2009-06-30T06:42:37+09:00
2009-06-30T06:42:37+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=30532&itemNo=1
大久保弘崇
坂部, 俊樹
坂部俊樹
稲垣, 康善
稲垣康善
SimpleObjectにおけるクラス定義単位の型制約導出と型検査
2009-06-30T06:42:37+09:00
2009-06-30T06:42:37+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=30533&itemNo=1
柴田, 洋
柴田洋
佐藤康臣
平川, 正人
平川正人
市川, 忠男
市川忠男
オブジェクト・ネットワーク生成支援環境
2009-06-30T06:42:37+09:00
2009-06-30T06:42:37+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=30534&itemNo=1
岡本, 秀輔
岡本秀輔
飯塚, 肇
飯塚肇
継承機能とランデブ方式による並列処理言語SPLANの拡張
2009-06-30T06:42:37+09:00
2009-06-30T06:42:37+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=30535&itemNo=1
片山, 佳則
片山佳則
Scenario - Role - Objectモデルにおける分析/設計/実装
2009-06-30T06:42:37+09:00
2009-06-30T06:42:37+09:00