著者

岡本 幸 長瀧 寛之 齊藤 明紀 都倉 信樹 増澤 利光

出版者

一般社団法人情報処理学会

雑誌

情報処理学会研究報告コンピュータと教育(CE) (ISSN:09196072)

巻号頁・発行日

vol.2003, no.13, pp.55-62, 2003-02-07

被引用文献数

2

---

大学において電子ポートフォリオを利用する場合 学生に加え各講義の担当教官 技官 ティーチングアシスタントなど様々な立場の利用者が存在するため きめこまかいアクセス制御を実現する必要がある.また多数の学生や講義が登録されるため 検索機能が充実していることが必要である.本研究ではこれらの要求を満たす電子ポートフォリオシステムを設計 試作し 運用により評価を行なった.本システムは リレーショナルデータベースにデータを保管し Web上で使用することができる.If an electronic portfolio system is used in universities, complicated access control is required because there are various users such as students, teachers of each lecture, teaching assistants and so on. Moreover, since the number of students and lectures is very large, the system must have powerful search and sort functions. We designed and implemented a student portfolio system suitable for an university. We also applied it to a few courses in two universities and evaluated it. This system keeps data in a relational database, and it can be used on the web.

著者

西田 誠幸 辻野 嘉宏 都倉 信樹

出版者

一般社団法人電子情報通信学会

雑誌

電子情報通信学会論文誌. D-I, 情報・システム, I-コンピュータ (ISSN:09151915)

巻号頁・発行日

vol.79, no.11, pp.936-945, 1996-11-25

---

Bird-Meertens Formalism (以下BMF)は関数型プログラムを記述する手法の一つで,これによって問題の仕様記述から具体的な手続きの記述を導出することができる.BMFで記述されるプログラムの有用性を明確にするため,また導出の方針を与える一手段として,導出されるプログラムのコストを評価する手法を提案する.この手法は,Moggiの提案したモナドを用いた計算の表現法を応用したもので,プログラムのセマンティクス,コストの種類,プログラムを実行するアーキテクチャによって決定されるコストを表現できる.また,関数型言語Haskellによるコスト評価法の実現を示す.

著者

黄 錫炯 辻野 嘉宏 都倉 信樹

出版者

一般社団法人情報処理学会

雑誌

情報処理学会論文誌 (ISSN:18827764)

巻号頁・発行日

vol.36, no.4, pp.1003-1011, 1995-04-15

参考文献数

10

被引用文献数

1

---

オブジェクト指向プログラミングにおいて、品質の良いプログラムを作成するためには、プログラムの性質と構造などを厳密に理解した上でプログラムの複雑さを減らすための方法を考える必要がある。オブジェクト指向プログラムでは、プログラムの複雑さはクラスの間のメッセージ転送より発生するクラス間の相互依存関係に起因する。この考え方に基づいて、クラス間の不必要な相互依存関係を減らすためのプログラミングスタイルに関する規則としてデメテノレの規則(TheLawofDemeter)が知られている。しかし、その定義が非常に暖味であるため、いろいろな解釈が生じる恐れがあり、実際にプログラムに適用する際には問題がある。本論文では、従来の非形式的なデメテルの規則を実際のプログラムに適用、評価するために、クラス間の関係として継承と集約、そして関連などの諸定義を行い、それらを用いてデメテルの規則を定式化する。またデメテルの規則の判定アノレゴリズムと、デメテルの規則に違反したプログラムに対する変換方法について述べる。

著者

和田 幸一 萩原 兼一 都倉 信樹

出版者

電子通信学会

雑誌

電子通信学会論文誌 D (ISSN:0374468X)

巻号頁・発行日

vol.68, no.5, pp.p1011-1018, 1985-05

---

VLSIチップを平面格子と呼ばれるグラフでモデル化し,回路を素子間の配線の仕方を表すグラフGで表し,Gを平面格子に埋込んだとき,どれほどの面積を占めるかはVLSIチップの設計においては重要な問題であり,種々のグラフに対して,平面格子に埋込んだときの面積の上下界が議論されている.本論文では,次数が5以上のグラフが埋込めるように拡張したモデルのもとで,d次シャフルグラフを平面格子に埋込む問題を考える.d次シャフルグラフはシャフルエクスチェンジグラフやCCCなどと同様にデータの置換などを高速に行なうことができ理論的にも興味深いグラフである.ここでは,グラフの交差数と面積の関係を用いて,無限個のd,kに対して,dk頂点d次シャフルグラフを埋込むために(dk+1/k)2に比例した面積が必要となることを示す.この結果を用いると従来の面積の下界が改善される.また,あるグラフGの埋込みに対して,すでに埋込み面積がわかっているグラフを利用したGの埋込みの手法を与え,この結果を用いて,dが2のベキ乗の場合,dk頂点d次シャフルグラフは(dk+1/k)2に比例した面積で埋込めることを示す.

著者

高田 喜朗 辻野 嘉宏 都倉 信樹

雑誌

情報処理学会論文誌 (ISSN:18827764)

巻号頁・発行日

vol.38, no.2, pp.290-298, 1997-02-15

---

ヘルプシステムやWWW(World Wide Web)など 計算機アプリケーションのいくつかの分野でハイパーテキストを利用したシステムがよく見られるようになってきている.ここでは 大量の情報(文書)が個別に提供され それらをユーザが効率良くアクセスできるように検索のためのメニューとその間のリンクを構築する問題を考える.ユーザが効率良くアクセスするためには 操作の手間が平均的に小さいことが必要になる.また キーワードとそれからアクセスできるページの集合(カテゴリ)は意味的に対応づけられ ユーザが目的のページを検索するのに途中のメニューで迷わないようにしなければならない.本論文では 与えられたキーワードとカテゴリの関係を保つリンク構造すべての中から平均アクセス時間が最小なリンク構造を求める効率の良いアルゴリズムを示す.

著者

都倉 信樹

出版者

公益社団法人 日本工学教育協会

雑誌

工学教育 (ISSN:13412167)

巻号頁・発行日

vol.53, no.3, pp.3_20-3_25, 2005 (Released:2006-06-16)

参考文献数

2

---

JABEE has making efforts to set up an accreditation system for engineering education in Japan. This article tries to check the system as a business model. A new direction is proposed.

著者

長瀧 寛之 永井 孝幸 都倉 信樹

出版者

公益社団法人 日本工学教育協会

雑誌

工学教育 (ISSN:13412167)

巻号頁・発行日

vol.55, no.5, pp.5_8-5_14, 2007 (Released:2007-10-04)

参考文献数

11

被引用文献数

1

---

This paper reports trials to record all possible lectures and to deliver on demand the recorded video contents in the Department of Information Systems at Tottori University of Environmental Studies. Main features of the efforts by the department are summarized as follows : (1) Every possible lecture is recorded and delivered on demand. (2) The activity is done at reasonable initial and running costs. (3) Voluntary students and teachers work together as technical and management staff without university staff. For the fiscal years 2004 and 2005, more than 1000 lectures, each of which lasted 90 minutes were recorded successfully, and the total running cost was less than 2-million yen, including the maintenance cost and payment. In this paper, we describe how we realized the three features, and analyze the details of the costs.

著者

桝田 秀夫 増澤 利光 辻野 嘉宏 都倉 信樹

出版者

一般社団法人電子情報通信学会

雑誌

電子情報通信学会技術研究報告. COMP, コンピュテーション

巻号頁・発行日

vol.94, no.389, pp.11-18, 1994-12-09

被引用文献数

2

---

ネットワークの取り得る全状況集合をSとし,そのうち望ましい状態とみなせる状態の集合を正当な状況といい,Lと表す(L⊆S).任意のSの状態から出発し有限時間内にLに含まれる状態に達する分散アルゴリズムを自己安定アルゴリズムという.従来,自己安定アルゴリズムは,プロセッサ同士が通信路として2点間通信(Point-to-Point)リンクを用いて情報を交換するネットワークモデル上で考えられてきた.本稿では,マルチアクセスチャネルを持つネットワーク上でリーダー選択問題を解く自己安定分散アルゴリズムを提案する.

著者

井上 美智子 萩原 兼一 都倉 信樹

出版者

一般社団法人電子情報通信学会

雑誌

電子情報通信学会論文誌. D-I, 情報・システム, I-コンピュータ = The transactions of the Institute of Electronics, Information and Communication Engineers (ISSN:09151915)

巻号頁・発行日

vol.76, no.7, pp.405-406, 1993-07-25

---

本論文では,非同期の超立方体状ネットワークでの最小重み生成木構成分散問題のメッセージ複雑度の下界がΩ(nlogn)であることを示す(最悪時評価,n:プロセッサ数).上界O(nlogn)は知られているので,この下界はオーダ的には最良である.

著者

田口 敬教 都倉 信樹

出版者

一般社団法人電子情報通信学会

雑誌

電子情報通信学会技術研究報告. COMP, コンピュテーション (ISSN:09135685)

巻号頁・発行日

vol.106, no.405, pp.23-28, 2006-11-27

参考文献数

5

被引用文献数

1

---

流通商品コード(単品識別)表示用などに広く利用されるコードにEANコードというものがある.EANコードは白と黒の線で表現されており,バーコードスキャナなどで読み込む.汚れなどの外的要因やスキャンしたデータのディジタルデータへの変換過程での誤りなどの要因により,本来EANコードの表しているデータと異なるデータを読み込んだ場合,それがEANコードの形式に反するなら誤りと判断でき,再読込をする.しかし,形式的には正しいとして誤ったデータを受け取ることもある.これを誤りを見逃し,あるいは誤読といい,その確率を評価する.

著者

高橋 延匡 SHAPIRO Stua RALSTON Anth KERSHNER Hel SELMAN Alan 中森 眞理雄 大岩 元 都倉 信樹 牛島 和夫 野口 正一

出版者

東京農工大学

雑誌

国際学術研究

巻号頁・発行日

1992

---

わが国の大学の情報処理教育のカリキュラムは米国に比べると著しく遅れているというのが通説であった。本研究代表者および分担者は情報処理学会の「大学等における情報処理教育の改善のための調査研究」で中心的な役割を果たし,コンピュータサイエンスのモデルカリキュラムJ90の作成に貢献した。しかし,J90を各大学で具体化して実現するには,授業時間配分や担当教員の割り振りなど多くの問題を解決しなければならないことが明らかになった。そこで,本年度は,米国で,過去にコンピュータサイエンスのモデルカリキュラムを各大学で具体化して実現する際にどのようにしたかを調査することにした。まず,予備調査として,ACM(米国計算機学会)が1988年に発表したコンピュータサイエンスの見取図である9行3列のマトリクス(以下では「デニング図」と呼)をカリキュラムの評価に使うことが可能かどうかを検討した。デニング図の各行は1アルゴリズムとデータ構造,2計算機アーキテクチャ,3人工知能とロボティックス,4データベースと情報検索,5人間と計算機のコミュニケーション,6数値的計算と記号的計算,7オペレーティングシステム,8プログラミング言語,9ソフトウェアの方法論とソフトウェア工学に対応する。デニング図の各列は(1)理論,(2)抽象化,(3)設計に対応する。個々の大学のコンピュータサイエンスのカリキュラムについて,その各授業科目をデニング図の27(=9×3)の枠にあてはめてみることにより,そのカリキュラムの特徴が明らかとなる。さらに,もう一つの予備調査として,ACMが1991年に発表したコンピュータサイエンスの頻出概念について,カリキュラム評価の手法として使うことが可能かどうかを検討した。ACMの頻出概念は(A)バインディング,(B)大規模問題の複雑,(C)概念的および形式的モデル,(D)一貫性と完全性,(E)効率,(F)進化とその影響,(G)抽象化の諸レベル,(H)空間における順序,(I)時間における順序,(J)再利用,(K)安全性,(L)トレードオフとその結果,の12から成る。検討した結果,ACMの頻出概念はきわめて重要なものを含んでいるが,(a)これら12個の概念は互いに独立であるか,(b)これら12個の概念はコンピューサイエンスを完全に覆っているか,についてさらに詳しく検討する必要があることがわかった。以上の予備調査を行った上で,米国ニューヨーク州立大学バッファロー大学計算機科学科を訪問し,共同研究を行った。研究の方法は,デニング図を含むカリキュラム評価方法やコンピュータサイエンスの頻出概念について,日米双方の研究代表者・分担者が見解を述べ,互いに賛否の意見を出し合う,という形で行った。この過程で,バッファロー大学ではデニング図を用いて自己点検・評価を行っていることが示された。ACMの1991年報告書では「広がり優先方式」(以下,「BF方式」と呼ぶ)によるカリキュラム編成方式が紹介され,それを実現するために多数の「知識ユニット」が提案されている(もちろん,それらの知識ユニットを組み合わせて,学問体系に沿って教える伝統的なカリキュラムを編成することも可能である)。このBF方式カリキュラムについても議論した。米国分担者達はBF方式カリキュラムを試みたが,現在は伝統的なカリキュラムに復帰しつつあるという見解であった。ACMのSIGCSE研究会の研究発表の内容を調べた結果,非BF方式カリキュラムに対する支持が強いことが確かめられた。もっとも,教育は必然的にBF的面を有するものであり,BF方式カリキュラムが妥当であるか否かという問題は,知識ユニットをどの程度の大きさにするのが適切であるかという問題に帰着され,今後の検討課題となった。本研究の期間中に,ACMのSIGCHI研究会から人間と計算機のコミュニケーションを主題とするカリキュラム案が発表された。このカリキュラム案に伴って紹介されている演習課題についても検討した。この分野は日本が大きな貢献をすることが可能な分野であり,今後の研究課題とすることにした。

著者

北村 英純 長瀧 寛之 都倉 信樹

出版者

一般社団法人電子情報通信学会

雑誌

電子情報通信学会技術研究報告. ET, 教育工学 (ISSN:09135685)

巻号頁・発行日

vol.103, no.536, pp.47-52, 2003-12-12

---

本研究では,高等学校の教育活動において作られるコンテンツを保存するポートフォリオシステムの開発と評価を行った.このシステムを使うと,生徒及びクラス担任と教科担任は,保存されているコンテンツをそれぞれの役割に応じて閲覧でき,生徒の自己評価と,教師による生徒の学習状況の把握に役立てられる.我々は教育を2カテゴリ4領域(アクティビティ:教科活動,自主活動,及びヒストリ:自分の歴史,学校の歴史)に分類した.本ポートフォリオは,その領域分類に従ってコンテンツを保存し,そのコンテンツに対して2種類の閲覧環境,つまり領域を分離した環境と領域を統合した環境を提供する.前者は領域ごとの学習状況を把握するため,後者は学習活動全般を閲覧するためのものである.とりわけ,統合した閲覧環境では各カテゴリに保存されているコンテンツが相互に情報を補完し合うので,生徒は自分の記憶にある情報も呼び起こすことができる.

著者

西田 知博 都倉 信樹

出版者

一般社団法人電子情報通信学会

雑誌

電子情報通信学会技術研究報告. ET, 教育工学 (ISSN:09135685)

巻号頁・発行日

vol.96, no.431, pp.1-8, 1996-12-14

被引用文献数

7

---

学生と教官の間の講義外でのコミュニケーションを行うために,電子メールとWWWというインターネット上の基本ツールを用いた講義補助システムを運用した結果について報告する.今回の運用では,特に各講義前に学生に対して毎回,動機付けのための電子メールを送ることと,他の学生のレポートを読むことによって各自のレポート作成の刺激にしてもらうことを目的として,提出されたレポートをWWW上で公開するという試みを行った.学生のアンケート結果などからシステムの評価を行い,期待通りの効果が得られていることが確認できたが,同時にシステムを改善すべき点もいくつか表面化してきた.そこで,これらの対応策についても紹介する.

著者

田口 敬教 都倉 信樹

出版者

一般社団法人電子情報通信学会

雑誌

電子情報通信学会技術研究報告. COMP, コンピュテーション (ISSN:09135685)

巻号頁・発行日

vol.107, no.24, pp.9-16, 2007-04-19

---

商品コードのEANコードは,白と黒のバーで表されるバーコードの代表的なものとして使われており,バーコードスキャナなどで読み込む.汚れなどの外的要因やスキャンしたデータのディジタルデータへの変換過程での誤りなどの要因により,本来EANコードの表しているデータと異なるデータを読み込んだ場合,それがEANコードの形式に反するなら誤りと判断でき,再読込をする.しかし,形式的には正しいとして誤ったデータを受け取ることもある.これを誤りを見逃し,あるいは誤読といい,その確率を前回報告した.本報告ではEANコードの誤読率をもとに,実際に汚れがバーコードシンボルに付着した場合の誤読率を報告する.