著者

浜野 保樹

出版者

日本ソフトウェア科学会

雑誌

コンピュータ ソフトウェア (ISSN:02896540)

巻号頁・発行日

vol.7, no.4, pp.4_395-4_403, 1990-10-15 (Released:2018-11-05)

著者

品川 高廣 河野 健二 益田 隆司 Takahiro Shinagawa Kenji Kono Takashi Masuda 東京農工大学工学部情報コミュニケーション工学科 電気通信大学情報工学科:科学技術振興事業団さきがけ21 電気通信大学情報工学科 Department of Computer Information and Communication Sciences Faculty of Engineering Tokyo University of Agriculture & Technology Department of Computer Science University of Electro-Communications:PRESTO Japan Science and Technology Corporation Department of Computer Science University of Electro-Communications

出版者

日本ソフトウェア科学会

雑誌

コンピュータソフトウェア (ISSN:02896540)

巻号頁・発行日

vol.21, no.2, pp.107-113, 2004-03-25

参考文献数

11

被引用文献数

1

---

本論文では,UNIXシステムにおけるsetuidプログラムのバグを利用したroot権限の不正取得に対処するために,setuidプログラム中のroot権限で動作するコードを最小化する手法について述べる.この手法では,我々が提案している細粒度保護ドメインを利用することでsetuidプログラム中の最小限必要なコードのみをroot権限で動作させ,root権限が不要なコードに含まれるバグによるroot権限の不正取得を防止することができる.

著者

古瀬 淳 米澤 明憲

出版者

日本ソフトウェア科学会

雑誌

コンピュータ ソフトウェア (ISSN:02896540)

巻号頁・発行日

vol.25, no.1, pp.180-185, 2008

---

C言語プログラムでのメモリ脆弱性攻撃などによって生ずる機密情報漏洩を防ぐため,我々はC言語のメモリ安全化コンパイル技術を仮定した上で,その情報流解析手法を提案する.Cのメモリ安全化コンパイルにおけるエラー忘却型計算では,メモリ脆弱性攻撃を受けた際のプログラムの脆弱性回避を自動的に行うが,我々の情報流解析による安全性は,このエラー忘却型計算の「不安定な挙動」をも安全化できる.これにより,我々のCのコンパイル技術VITCではメモリ脆弱性攻撃を受けた後にも一定の安全性の下でプログラムの継続実行を行うことができる.

著者

岡崎 裕之 紫村 彰吾 宮本 樹 渡邊 樹 布田 裕一 村上 恭通

出版者

日本ソフトウェア科学会

雑誌

コンピュータ ソフトウェア (ISSN:02896540)

巻号頁・発行日

vol.37, no.1, pp.1_99-1_113, 2020-01-24 (Released:2020-02-22)

---

暗号技術は情報セキュリティを実現するための基盤要素である.暗号を専門とする研究者や技術者のみならずネットワークエンジニアや運用者等にとっても暗号技術に関する知識の習得は必須である.実際のシステムは,公開鍵暗号や電子署名等の複数の要素技術を組み合わせて構築する必要があるため,様々な攻撃について必要な対策を施しつつ安全性要件を満たすように実現しなければならない.しかしながら,システム構築を座学だけでは初学者に学ばせることは困難である.この課題を克服するために,報告者等は計算機援用による形式的暗号プロトコル安全性検証ツールを利用した暗号技術の基礎知識と利用方法を学習する教材を作成し,演習形式による授業を実践した.形式的暗号プロトコル安全性検証ツールの利用により,既存の教材では学習困難な実際の暗号技術の動作や攻撃を,学習者が設定した暗号システム上でシミュレーションしてインタラクティブに学ぶことが可能となった.本論文では,まず,実践した教育内容の概要とその成果を報告し,更に,現在進めている本教材を元とする CAI 教材開発方針の紹介と,その課題について報告する.

著者

竹内 幹雄 小松 秀昭 中谷 登志男

出版者

日本ソフトウェア科学会

雑誌

コンピュータ ソフトウェア (ISSN:02896540)

巻号頁・発行日

vol.20, no.4, pp.355-362, 2003-07-25 (Released:2012-02-15)

---

Javaの高速化の研究が盛んになされているが,数値計算の分野では依然Fortranに水をあけられたままである.その理由の1つに,浮動小数点演算の厳密な正確さ(accuracy)が原因で最適化が困難なことがある.とりわけ,融合型積和演算(fused multiply-add (FMA))命令や,再結合(reassociation)を利用できないことが,Javaの性能に大きく影響している.この論文では,浮動小数点演算の正確さに関する投機(floating-point (FP) speculation)を提案する.FP speculationは,既存アーキテクチャの余ったハードウェア資源(浮動小数点レジスタと演算ユニット)を利用して,各最適化対象に対し正確さの異なる2通りの計算(投機計算と検算)を同時に実行することで,Javaの言語仕様を満たしつつ平均実行時間を短縮する.

著者

伊藤 貴康

出版者

日本ソフトウェア科学会

雑誌

コンピュータ ソフトウェア (ISSN:02896540)

巻号頁・発行日

vol.23, no.1, pp.1_45-1_59, 2006-01-26 (Released:2008-09-09)

著者

横山 和弘 竹島 卓

出版者

日本ソフトウェア科学会

雑誌

コンピュータ ソフトウェア (ISSN:02896540)

巻号頁・発行日

vol.5, no.1, pp.1_42-1_61, 1988-01-14 (Released:2018-11-05)

---

A. K. Lenstra, H. W. LenstraとL. Lovaszが格子算法を整数環上の1変数多項式の因数分解アルゴリズムに応用し,計算時間がその多項式の次数に対してその次数の多項式オーダーになることを可能にして以来,格子算法が種々の因数分解アルゴリズムに応用されている.本論文では,A. K. Lenstraによる格子算法の基本的性質を抽出し,Euclid付値環上の因数分解およびGCD計算に格子算法が適用できることを示す.また,ある種の条件の下ではEuclid環上の因数分解へも応用が可能であることを示す.

著者

須永 高浩 笹田 耕一

出版者

日本ソフトウェア科学会

雑誌

コンピュータ ソフトウェア (ISSN:02896540)

巻号頁・発行日

vol.29, no.4, pp.4_95-4_113, 2012-10-25 (Released:2012-11-25)

---

本研究では,スクリプト言語用プロファイラの実装を容易に行うためのフレームワークの開発を行った.本フレームワークを用いることで,プログラムの性能情報をリアルタイムに取得するプロファイラを構築できる.本フレームワークは複数のスクリプト言語に対応することができ,計測内容も容易に追加できる.また,プロファイリングの利便性を高めるため,ネットワークで接続された別のホストから接続し遠隔で情報取得するための機能や,コンテキスト情報を含んだ情報を取得するための機能を提供する.本論文では本フレームワークの設計と実装を示す.また,本フレームワークによるプロファイラの参考実装を行い,本フレームワークによるプロファイラを使用した実運用しているアプリケーションに対する分析事例を示し,本フレームワークが実用的であることを示す.

著者

上田 和紀 新田 克己 細部 博史

出版者

日本ソフトウェア科学会

雑誌

コンピュータ ソフトウェア (ISSN:02896540)

巻号頁・発行日

vol.25, no.3, pp.3_1, 2008-07-25 (Released:2008-09-30)

著者

徳差 雄太

出版者

日本ソフトウェア科学会

雑誌

コンピュータ ソフトウェア (ISSN:02896540)

巻号頁・発行日

vol.37, no.3, pp.3_100-3_101, 2020-07-22 (Released:2020-09-22)

著者

西崎 真也

出版者

日本ソフトウェア科学会

雑誌

コンピュータ ソフトウェア (ISSN:02896540)

巻号頁・発行日

vol.32, no.3, pp.3_96-3_97, 2015-07-24 (Released:2015-09-24)

著者

藤田 悦誌 岩崎 敦 東藤 大樹 横尾 真

出版者

日本ソフトウェア科学会

雑誌

コンピュータ ソフトウェア (ISSN:02896540)

巻号頁・発行日

vol.31, no.3, pp.3_156-3_167, 2014-07-25 (Released:2014-09-10)

---

本論文では,新しい公開型オークションメカニズムのクラスとして,VCG-equivalent in expectationメカニズムを提案する.正直な戦略の組が事後ナッシュ均衡となる公開型オークションメカニズムはクエリの回答が回答者の財の割当と支払額に影響を与えない無関係なクエリを送信する必要がある.露呈される情報に関して参加者が弱い誘因を持つ場合,無関係なクエリを送信するメカニズムは望ましくない.本論文で新しく提案するVCG-equivalent in expectationメカニズムは,割当はVickrey-Clarke-Groves (VCG)メカニズムと等しく,支払額はVCGの支払額の期待値とするメカニズムである.本論文では,VCG-equivalent in expectationメカニズムにおいて,正直な戦略の組が逐次的均衡となること,及び,無関係なクエリを送信しないVCG-equivalent in expectationメカニズムを構築する手法を示した.さらに,提案メカニズムの現実的な応用事例への適用可能性を示すため,日本の第四世代の周波数オークションに適用可能なメカニズムを示した.

著者

上田 和紀

出版者

日本ソフトウェア科学会

雑誌

コンピュータ ソフトウェア (ISSN:02896540)

巻号頁・発行日

vol.25, no.3, pp.3_49-3_54, 2008-07-25 (Released:2008-09-30)

著者

郡司 隆男

出版者

日本ソフトウェア科学会

雑誌

コンピュータ ソフトウェア (ISSN:02896540)

巻号頁・発行日

vol.8, no.4, pp.4_387-4_389, 1991-07-15 (Released:2018-11-05)

著者

竹辺 靖昭

出版者

日本ソフトウェア科学会

雑誌

コンピュータ ソフトウェア (ISSN:02896540)

巻号頁・発行日

vol.24, no.2, pp.2_88-2_91, 2007 (Released:2007-06-30)

著者

中島 震 鵜林 尚靖

出版者

日本ソフトウェア科学会

雑誌

コンピュータ ソフトウェア (ISSN:02896540)

巻号頁・発行日

vol.26, no.3, pp.3_78-3_83, 2009-07-28 (Released:2009-10-05)

著者

池松 香 福本 雅朗 椎尾 一郎

出版者

日本ソフトウェア科学会

雑誌

コンピュータ ソフトウェア (ISSN:02896540)

巻号頁・発行日

vol.36, no.3, pp.3_2-3_19, 2019-07-25 (Released:2019-09-25)

---

静電容量方式のタッチサーフェス上へ貼り付けるだけの簡単な作業で取り付けられるForce-to-Motion方式の薄型入力機器,Ohmic-Stickerを提案する.プリント基板上へ加圧により抵抗値が変化する感圧センサを設置し,タッチサーフェスの流出電流値を用いて抵抗値変化を計測することで,指先の微細運動による入力を実現する.本論文では,予備調査に基づくOhmic-Stickerの設計要件の検討と,実際に作成した0.5 DoFから6 DoF(以上)の入力を可能とする複数のOhmic-Sticker及びその応用例,性能調査の結果を報告する.

著者

伊藤 恵

出版者

日本ソフトウェア科学会

雑誌

コンピュータ ソフトウェア (ISSN:02896540)

巻号頁・発行日

vol.37, no.2, pp.2_25-2_31, 2020-04-23 (Released:2020-06-23)

著者

萩野 達也

出版者

日本ソフトウェア科学会

雑誌

コンピュータ ソフトウェア (ISSN:02896540)

巻号頁・発行日

vol.7, no.1, pp.1_16-1_32, 1990

---

<p>カテゴリー理論的関数型言語は,カテゴリー理論に基づいた関数型プログラミング言語で,カテゴリー理論的に随伴関手を使ってデータ型を定義し,その上でプログラムを書くことができる.この言語では元々定義されたデータ型が存在せず,すべて随伴関手の機能を使って定義される.定義可能なデータ型には,終対象,始対象,積,和,関数型,自然数,有限リスト,無限リスト等がある.また,この言語は,制御構造も元々は定義されておらず,データ型の定義と共にそのデータ型に関する基本演算および制御構造が定義される.そして,プログラムの実行のための計算規則は,カテゴリー理論によって,単純な統一されたものとなっている.</p>

著者

千葉 立寛

出版者

日本ソフトウェア科学会

雑誌

コンピュータ ソフトウェア (ISSN:02896540)

巻号頁・発行日

vol.36, no.1, pp.74-78, 2019-01-25 (Released:2019-03-26)