Toggle navigation
J-STAGE home
資料・記事を探す
資料を探す:資料タイトルから
資料を探す:分野から
資料を探す:発行機関から
記事を探す
データを探す(J-STAGE Data)
J-STAGEについて
J-STAGEの概要
各種サービス・機能
公開データ
利用規約・ポリシー
新規登載の申し込み
ニュース&PR
お知らせ一覧
リリースノート
メンテナンス情報
イベント情報
J-STAGEニュース
特集コンテンツ
各種広報媒体
サポート
J-STAGE登載機関用コンテンツ
登載ガイドライン・マニュアル
閲覧者向けヘルプ
動作確認済みブラウザ
FAQ
お問い合わせ
サイトマップ
サインイン
カート
JA
English
日本語
資料・記事を探す
資料を探す:資料タイトルから
資料を探す:分野から
資料を探す:発行機関から
記事を探す
データを探す(J-STAGE Data)
J-STAGEについて
J-STAGEの概要
各種サービス・機能
公開データ
利用規約・ポリシー
新規登載の申し込み
ニュース&PR
お知らせ一覧
リリースノート
メンテナンス情報
イベント情報
J-STAGEニュース
特集コンテンツ
各種広報媒体
サポート
J-STAGE登載機関用コンテンツ
登載ガイドライン・マニュアル
閲覧者向けヘルプ
動作確認済みブラウザ
FAQ
お問い合わせ
サイトマップ
サインイン
カート
JA
English
日本語
詳細検索
コンピュータ ソフトウェア
Print ISSN : 0289-6540
資料トップ
巻号一覧
この資料について
J-STAGEトップ
/
コンピュータ ソフトウェア
/
巻号一覧
検索
巻、号、ページもしくは巻、ページを入力してください。
検索条件と一致する記事が見つかりませんでした。
検索結果に複数のレコードがあります。号を指定してください。
詳細検索
OR
閲覧
巻
41 巻
40 巻
39 巻
38 巻
37 巻
36 巻
35 巻
34 巻
33 巻
32 巻
31 巻
30 巻
29 巻
28 巻
27 巻
26 巻
25 巻
24 巻
23 巻
22 巻
21 巻
20 巻
19 巻
18 巻
18-0 巻
17 巻
16 巻
15 巻
14 巻
13 巻
12 巻
11 巻
10 巻
9 巻
8 巻
7 巻
6 巻
5 巻
4 巻
3 巻
2 巻
1 巻
号
6 号
5 号
4 号
3 号
2 号
1 号
検索
検索
閲覧
巻、号、ページもしくは巻、ページを入力してください。
検索条件と一致する記事が見つかりませんでした。
検索結果に複数のレコードがあります。号を指定してください。
詳細検索
巻
41 巻
40 巻
39 巻
38 巻
37 巻
36 巻
35 巻
34 巻
33 巻
32 巻
31 巻
30 巻
29 巻
28 巻
27 巻
26 巻
25 巻
24 巻
23 巻
22 巻
21 巻
20 巻
19 巻
18 巻
18-0 巻
17 巻
16 巻
15 巻
14 巻
13 巻
12 巻
11 巻
10 巻
9 巻
8 巻
7 巻
6 巻
5 巻
4 巻
3 巻
2 巻
1 巻
号
6 号
5 号
4 号
3 号
2 号
1 号
巻、号、ページもしくは巻、ページを入力してください。
検索条件と一致する記事が見つかりませんでした。
検索結果に複数のレコードがあります。号を指定してください。
巻号一覧
41 巻 (2024)
1 号 p. 1_1-
40 巻 (2023)
4 号 p. 4_1-
3 号 p. 3_1-
2 号 p. 2_1-
1 号 p. 1_1-
39 巻 (2022)
4 号 p. 4_1-
3 号 p. 3_1-
2 号 p. 2_1-
1 号 p. 1_1-
38 巻 (2021)
4 号 p. 4_1-
3 号 p. 3_1-
2 号 p. 2_1-
1 号 p. 1_1-
37 巻 (2020)
4 号 p. 4_1-
3 号 p. 3_1-
2 号 p. 2_1-
1 号 p. 1_1-
36 巻 (2019)
4 号 p. 4_1-
3 号 p. 3_1-
2 号 p. 2_1-
1 号 p. 1-
35 巻 (2018)
4 号 p. 1-
3 号 p. 3_1-
2 号 p. 2_1-
1 号 p. 1_1-
34 巻 (2017)
4 号 p. 4_1-
3 号 p. 3_1-
2 号 p. 2_1-
1 号 p. 1_1-
33 巻 (2016)
4 号 p. 4_1-
3 号 p. 3_1-
2 号 p. 2_1-
1 号 p. 1_1-
32 巻 (2015)
4 号 p. 4_1-
3 号 p. 3_1-
2 号 p. 2_1-
1 号 p. 1_1-
31 巻 (2014)
4 号 p. 4_1-
3 号 p. 3_1-
2 号 p. 2_1-
1 号 p. 1_1-
30 巻 (2013)
4 号 p. 4_1-
3 号 p. 3_1-
2 号 p. 2_1-
1 号 p. 1_1-
29 巻 (2012)
4 号 p. 4_1-
3 号 p. 3_1-
2 号 p. 2_1-
1 号 p. 1_1-
28 巻 (2011)
4 号 p. 4_1-
3 号 p. 3_1-
2 号 p. 2_1-
1 号 p. 1_1-
27 巻 (2010)
4 号 p. 4_1-
3 号 p. 3_1-
2 号 p. 2_1-
1 号 p. 1_1-
26 巻 (2009)
4 号 p. 4_1-
3 号 p. 3_1-
2 号 p. 2_1-
1 号 p. 1_1-
25 巻 (2008)
4 号 p. 4_1-
3 号 p. 3_1-
2 号 p. 2_1-
1 号 p. 1_1-
24 巻 (2007)
4 号 p. 4_1-
3 号 p. 3_111-
2 号 p. 2_1-
1 号 p. 1_1-
23 巻 (2006)
4 号 p. 4_1-
3 号 p. 3_1-
2 号 p. 2_1-
1 号 p. 1_1-
22 巻 (2005)
4 号 p. 4_1-
3 号 p. 3_1-
2 号 p. 2_1-
1 号 p. 1_1-
21 巻 (2004)
6 号 p. 423-
5 号 p. 340-
4 号 p. 235-
3 号 p. 159-
2 号 p. 83-
1 号 p. 1-
20 巻 (2003)
6 号 p. 533-
5 号 p. 413-
4 号 p. 321-
3 号 p. 213-
2 号 p. 117-
1 号 p. 1-
19 巻 (2002)
6 号 p. 425-
5 号 p. 333-
4 号 p. 245-
3 号 p. 157-
2 号 p. 81-
1 号 p. 1-
18 巻 (2001)
6 号 p. 571-
5 号 p. 483-
4 号 p. 399-
3 号 p. 327-
2 号 p. 243-
1 号 p. 157-
18-0 巻 (2000)
17 巻 (2000)
6 号 p. 509-
5 号 p. 409-
4 号 p. 297-
3 号 p. 193-
2 号 p. 109-
1 号 p. 1-
16 巻 (1999)
6 号 p. 6_517-
5 号 p. 5_401-
4 号 p. 4_293-
3 号 p. 3_193-
2 号 p. 2_108-
1 号 p. 1_1-
15 巻 (1998)
6 号 p. 6_491-
5 号 p. 5_395-
4 号 p. 4_281-
3 号 p. 3_189-
2 号 p. 2_107-
1 号 p. 1_1-
14 巻 (1997)
6 号 p. 6_533-
5 号 p. 5_437-
4 号 p. 4_333-
3 号 p. 3_217-
2 号 p. 2_105-
1 号 p. 1_1-
13 巻 (1996)
6 号 p. 6_437-
5 号 p. 5_361-
4 号 p. 4_281-
3 号 p. 3_193-
2 号 p. 2_113-
1 号 p. 1_1-
12 巻 (1995)
6 号 p. 6_519-
5 号 p. 5_403-
4 号 p. 4_291-
3 号 p. 3_195-
2 号 p. 2_106-
1 号 p. 1_1-
11 巻 (1994)
6 号 p. 6_453-
5 号 p. 5_357-
4 号 p. 4_257-
3 号 p. 3_161-
2 号 p. 2_100-
1 号 p. 1_1-
10 巻 (1993)
6 号 p. 6_457-
5 号 p. 5_385-
4 号 p. 4_289-
3 号 p. 3_193-
2 号 p. 2_100-
1 号 p. 1_1-
9 巻 (1992)
6 号 p. 6_459-
5 号 p. 5_379-
4 号 p. 4_283-
3 号 p. 3_179-
2 号 p. 2_102-
1 号 p. 1_1-
8 巻 (1991)
6 号 p. 6_509-
5 号 p. 5_401-
4 号 p. 4_305-
3 号 p. 3_209-
2 号 p. 2_100-
1 号 p. 1_1-
7 巻 (1990)
4 号 p. 4_317-
3 号 p. 3_213-
2 号 p. 2_101-
1 号 p. 1_1-
6 巻 (1989)
4 号 p. 4_319-
3 号 p. 3_221-
2 号 p. 2_125-
1 号 p. 1_1-
5 巻 (1988)
4 号 p. 4_301-
3 号 p. 3_217-
2 号 p. 2_109-
1 号 p. 1_1-
4 巻 (1987)
4 号 p. 4_297-
3 号 p. 3_185-
2 号 p. 2_120-
1 号 p. 1_1-
3 巻 (1986)
4 号 p. 4_305-
3 号 p. 3_181-
2 号 p. 2_115-
1 号 p. 1_1-
2 巻 (1985)
4 号 p. 4_581-
3 号 p. 3_483-
2 号 p. 2_383-
1 号 p. 1_291-
1 巻 (1984)
3 号 p. 3_207-
2 号 p. 2_107-
1 号 p. 1_1-
20 巻, 2 号
選択された号の論文の8件中1~8を表示しています
メタデータをダウンロード
RIS (EndNote、Reference Manager、ProCite、RefWorksとの互換性あり)
Bib TeX (BibDesk、LaTeXとの互換性あり)
テキスト
すべての抄録を非表示にする
すべての抄録を表示する
|<
<
1
>
>|
特集「プログラミングおよびプログラミング言語」の編集にあたって
亀山 幸義, 千葉 滋
2003 年 20 巻 2 号 p. 117
発行日: 2003/03/25
公開日: 2010/01/11
DOI
https://doi.org/10.11309/jssst.20.117
ジャーナル
フリー
PDF形式でダウンロード
(16K)
低レベル言語のための情報流解析の型システム
小林 直樹, 白根 慶太
2003 年 20 巻 2 号 p. 118-137
発行日: 2003/03/25
公開日: 2010/01/11
DOI
https://doi.org/10.11309/jssst.20.118
ジャーナル
フリー
抄録を表示する
抄録を非表示にする
システムソフトウェアなどが扱うデータには,パスワード情報のように特定の者にしか漏らしてはならない機密情報が含まれていることがあるが,プログラムが誤って記述されていればその情報が第三者に漏れてしまう.そのような誤りを静的に検出するため,情報流解析と呼ばれるプログラム解析が手続き型言語,関数型言語などを対象として研究されてきた.本研究の目的は,アセンブリ言語や仮想機械言語などの低レベル言語のための情報流解析の手法を確立し,ソースプログラムが存在しないコードの情報流解析を可能とすることである.本論文ではその第一歩として,Javaの仮想機械言語の部分言語に対する情報流解析手法を,StataとAbadiのバイトコード検証のための型システムの拡張として提案する.
抄録全体を表示
PDF形式でダウンロード
(233K)
属性文法の系統的デバッグ法におけるバグ絞り込みの効率化
池添 洋平, 佐々木 晃, 脇田 建, 佐々 政孝
2003 年 20 巻 2 号 p. 138-156
発行日: 2003/03/25
公開日: 2010/01/11
DOI
https://doi.org/10.11309/jssst.20.138
ジャーナル
フリー
抄録を表示する
抄録を非表示にする
本論文では属性文法に対する新しいデバッグ手法を提案する.これまでに,デバッガがユーザに対して属性の値が正しいかどうかを問い合わせることでバグの位置を特定する,属性文法の系統的デバッグ手法がいくつか提案されてきた.また,系統的デバッグ手法を理論的に一般化し,これを定式化することにより,複数のデバッグ法を統一的に扱うことができるようになった.しかしこれまで,デバッグの効率に関する考察はあまり行われていない.これまでのデバッグ法では,デバッガの質問の選び方によっては,質問の回数が増えるなど,デバッグの効率が悪くなってしまう場合が多かった.特に,実際に属性文法記述をデバッグする場合には,属性の依存関係が複雑になり,かつ,属性の数も多くなるため,デバッグの効率は重要な問題となる.本論文ではこのような問題点を解決するために,系統的デバッグ法の一般化の理論を拡張する.この拡張は,属性の依存関係の逆支配関係を利用し,属性の誤りの影響範囲を詳しく調べることによって,より厳密なバグの絞り込みを可能にするものである.さらに,この拡張された理論を利用したデバッグのアルゴリズムを提案する.このアルゴリズムを利用することによって,デバッガのユーザに対する質問の回数を減らすことができ,ユーザへの負担を軽減し,デバッグの効率を向上させることができる.また,このデバッグ法を取り入れたデバッガを実装し,このデバッグ法の有用性を確かめた.
抄録全体を表示
PDF形式でダウンロード
(234K)
端末やサービスに依存しないWebアプリケーション記述モデル
北山 文彦, 仲池 卓也
2003 年 20 巻 2 号 p. 157-162
発行日: 2003/03/25
公開日: 2010/01/11
DOI
https://doi.org/10.11309/jssst.20.157
ジャーナル
フリー
抄録を表示する
抄録を非表示にする
インターネット上でB2CやB2Bの各種Webアプリケーションを開発する場合,各種端末や具体的なサービスに依存しないようにソフトウェアの記述を行うことはソフトウェア工学上重要である.本稿では,その枠組みとなるような記述モデルを提案する.記述は,データと表現,および,それらのビューが明確に分離し,データと表現が適切に束縛されるようなフレームワークを用いることによって,プログラミングの複雑さを減らすことができる.また,処理の流れは,プロセスの概念を用い,抽象化が可能な遷移規則を導入することにより,表現力の高いモデル化が可能となる.さらに,記述モデルをベースにした多種端末用のアプリケーション記述言語であるLCMLや実行環境,それらの応用事例についても報告する.
抄録全体を表示
PDF形式でダウンロード
(100K)
テスト付きクリーニ代数の準代数構造
木下 佳樹, 古澤 仁
2003 年 20 巻 2 号 p. 163-169
発行日: 2003/03/25
公開日: 2010/01/11
DOI
https://doi.org/10.11309/jssst.20.163
ジャーナル
フリー
抄録を表示する
抄録を非表示にする
KozenとSmithは,有限集合B,Σの対が自由生成するテスト付クリーニ代数を構成する方法を与えた.われわれは,有限性の仮定をはずし,任意の集合の対B,Σについて,それらが自由生成するテスト付きクリーニ代数の存在を示した.さらに,KozenとSmithが要素を明示することによって構成したテスト付きクリーニ代数が,クリーニ代数や羃等半環,ブール代数に加えて単位クォンテールなどの圏の間の随伴函手や単位クォンテールの直和構成を用いて得られることを明らかにする.
抄録全体を表示
PDF形式でダウンロード
(125K)
オブジェクト指向計算モデルにおける例外処理機能の型付
堀江 美保子, 酒井 正彦, 坂部 俊樹
2003 年 20 巻 2 号 p. 170-174
発行日: 2003/03/25
公開日: 2010/01/11
DOI
https://doi.org/10.11309/jssst.20.170
ジャーナル
フリー
抄録を表示する
抄録を非表示にする
object calculus [1]はオブジェクト指向計算モデルであるが,多くのプログラミング言語が持つ例外処理機能を表現することができない.そこで,本稿ではobject calculusの最もシンプルなモデルであるOb
1<:
を拡張し例外処理機能を追加するとともに操作意味論と型システムを与え,型システムが操作意味論に対して健全であることを証明する.この型システムにより,Ob
1<:
のプログラムの各部分で発生する例外の型を静的に検査できる.
抄録全体を表示
PDF形式でダウンロード
(102K)
パラメトリック・ポリモルフィズム
長谷川 立
2003 年 20 巻 2 号 p. 175-194
発行日: 2003/03/25
公開日: 2010/01/11
DOI
https://doi.org/10.11309/jssst.20.175
ジャーナル
フリー
PDF形式でダウンロード
(233K)
PLI 2002報告
住井 英二朗, 関口 龍郎, 細谷 晴夫
2003 年 20 巻 2 号 p. 195-200
発行日: 2003/03/25
公開日: 2010/01/11
DOI
https://doi.org/10.11309/jssst.20.195
ジャーナル
フリー
PDF形式でダウンロード
(81K)
|<
<
1
>
>|
feedback
Top
J-STAGEへの登録はこちら(無料)
登録
すでにアカウントをお持ちの場合 サインインは
こちら