大久保弘崇

愛知県立大学情報科学部情報システム学科助手。

For Bidirectional Communication on WEB

本ページに関するcommentなどはこちらへどうぞ。

にちゃんねる風掲示板
Joe's ゐき
ほとんど自分のメモ用ですが、よろしければコメント入れて下さい。
練習用
jwikiの練習用です。内容は気にしないので、何書いてもらってもOKですよ。

研究

オブジェクト指向言語と代数的仕様記述に関すること。

簡素な業績リスト

モデル生成に基づくJavaScript プログラムの型検査系, 大久保弘崇,山本晋一郎,坂部俊樹,稲垣康善, SS2005-11, 信学技報 Vol.105, No.25, (ISSN 0913-5685), pp.25--30, 和歌山県立情報交流センター, SIGSS, 2005/4/22.
モデル生成に基づくJavaScriptプログラム型検査のためのフロントエンド, 大久保弘崇,山本晋一郎,坂部俊樹,稲垣康善, SS2004-13, 信学技報 Vol.104, No.242, (ISSN 0913-5685), pp.41--46, はこだて未来大学, SIGSS, 2004/8/2.
形式的手法に基づくJavaScriptプログラムの型検査系の実現, 大久保弘崇,山本晋一郎,坂部俊樹,稲垣康善, SS2004-3, 信学技報 Vol.104, No.47, (ISSN 0913-5685), pp.13--18, 会津大学, SIGSS, 2004/5/14. (途中かけのバージョンが間違って置いてありました。失礼しました。)

以前のもの

On Extracting Algebraic Specifications from Untyped Object-Oriented Programs H.Ohkubo, T.Sakabe, Y.Inagaki in "CAFE: An Industrial-Strength Algebraic Formal Method", K.Futatsugi, A.T.Nakagawa, T.Tamai Ed., 2000, Elsevier, pp.161-178
オブジェクト指向プログラムに対する Message Not Understood フォールト検知のための型検査アルゴリズム, 大久保弘崇,坂部俊樹,稲垣康善, コンピュータソフトウェア,Vol.17,No.3(2000),pp.63-76
オブジェクト指向言語におけるクラス集合型検査法, 大久保弘崇,坂部俊樹,稲垣康善, ソフトウェア工学の基礎 I, pp.51-60, 近代科学社, 1996
Introduction to Standard ML 和訳
未だに時々引き合いがあるのでリンクしておきます。 Module の辺りは記述が古いのであまり参考になりませんが、 core language の入門には使えると思います。輪読したメンバーでせっかくなので翻訳してまとめたもの。公開許可も頂きました。 (LaTeX ソースはどこにやっちゃったかなぁ...)

お仕事

情報システム実験III ハードの部プロセッサ作成実験

計算機アーキテクチャへの理解を深め、また Hardware Description Language による論理設計から実装までのプロセスの初歩を体験するため、 KITE プロセッサを VHDL で記述し、 KITE ボード上で実際に動作させる。

最近はどこでもこういうネタをやるようになりましたね。 KITEボードに代わる新型を作りたいですが、手が足りません…

過去の遺物

2000年大学説明会での学部デモ資料県大を志望する高校生対象の情報科学部デモ。内容は、情報科学実験IIIの足立先生の担当する音声実験のダイジェスト。情報の先生方には好評だったが、高校生にはイマイチ何が何だか伝わっていなかったようだ...
2001年大学説明会での学部デモ資料上に同じ。改訂版。

愛知県立大学教員組合ホームページ

さて、これから県大はどうなっていくのでしょう。

あんまり研究にならないものたち

マイクロマウスとわたくし

もうすっかり忘れてます。お世話になった皆さんごめんなさい。

HPSC2 NEW "HyperSchedule 2"

東山大学でかつて開発されたグループウェア予定帳を現代に復活させたもの。サンプルが動かしてあります。公開モードで通常の閲覧ができます。プライペートモードは認証が必要です。 guest/guest で入れます。公開モードでも、書き込むには認証が必要です。同じく guest/guest です。ここでは guest 一人しか作っていませんが、ユーザは何人でも追加できます。お試しください。
誰か「くれ」と言ったらソース公開しようと思ってましたが、全然引き合いがないうちに、ウチでも某ボウズを導入してしまいました。使った結果は…金返せ。

NNTP2HTTP

なぞのプロジェクト。

jwiki - Wikiでない何か

俺的に納得できるコーディングと実装だとこうなる。 ...はずだったのが、いつのまにかちょっち恥ずかしい dirty hack の塊に。結城浩氏による YukiWiki をもとにでっちあげたもの。以下特徴。

RCS による履歴の保存で万が一のいたずらにも安心- つまり Rcs module と rcs 本体の実行権限が必要。
更新のタイミングで予期せぬ上書きの回避 (クリィティカルに同時に書き込みをしたときのロックも新規ファイル以外は RCS がやってくれているはず)
dbm いらず (とはいえ RCS が必要...)
オプションで NIS 認証機能。学生演習室なんかで運用する時に。これまた Net::NIS が必要。 YukiWiki にならい GPL で配布。場所は運用中のjwikiの中。

「伺か」という名称は「元のソレなんて話にならないすばらしいもの」という意味があることは最近知りました。これをそう呼んだのは、そういうつもりは全くありません。 WikiName という Wiki の根底にある、しかし日本語にはまったくなじまないアイデアを台無しにした「似て非なるもの」だから Wiki と呼べなかっただけです。

毒吐きまくり日記

健康のため読みすぎに注意。なんとなく位置を下げてみる。
MovableType を使い始めて、更新するのが面倒になったのでもう書いていません。でも、書いたものを取り下げるのはwebを使いにくくするので、とりあえず置いたままにしておきます。
でも、MTも何て言うか、ちょっと違うな、という感じ。

古いもの

Newton とわたくし
コンセプトは良かったのになぁ。
INTERTop とわたくし
箱は良かったのになぁ。
もうかなりobsoleteです。そのうち更新します。と書いてあるページが更新されることはまずない。

ohkubo@ist.aichi-pu.ac.jp