_佐藤伸也 - 姫路獨協大学経済情報学部佐藤研究室（佐藤ゼミ）

メニュー †

目次

ゼミ関連
- ゼミ（ゼミ1,2,3）
- ゼミ生のページ
- 岡田ゼミ

担当科目関連

ゼミ活動

PukiWiki
- PukiWikiの使い方

ゲーム作成

リンク
- 学生HP,ブログ
- その他リンク集

その他
- バス時刻表

ウェブサービス

ゼミ生限定
- ウェブメール(UebiMiau)
- ウェブFTP(net2ftp)
姫路獨協大生限定
- ウェブメール

最新の7件

2008-11-19

奥内/日記

2008-11-13

岩崎

2008-11-12

桑江

2008-11-07

浜野

2008-11-01

「来春まで休暇を」

2008-10-05

sys2
sys1

今日の5件

人気の20件

Top / _佐藤伸也

佐藤伸也のページ †

佐藤伸也のページ
- メモ

メモ †

タイピングゲーム作成コンテスト
- Flash または JavaScript: http://homepage3.nifty.com/j_town/typemain.html
- [Flash でつくる:http://ja2yka.homeip.net/wiki/index.php/Flash%E3%81%A7%E3%82%BF%E3%82%A4%E3%83%94%E3%83%B3%E3%82%B0%E3%82%B2%E3%83%BC%E3%83%A0%E3%82%92%E4%BD%9C%E3%82%8B]]
- [JavaScript で:http://jun-ks.hp.infoseek.co.jp/]
- [JavaScript と DHTML で:http://codezine.jp/a/article.aspx?aid=251]
- [VB で:http://g0000.hp.infoseek.co.jp/html/vb/index.html]
- [GameMaker:http://www.yoyogames.com/]
  - 2ch: http://pc11.2ch.net/test/read.cgi/gamedev/1121126627/
- [DX ライブラリ:http://homepage2.nifty.com/natupaji/DxLib/]
- [SDL 解説:http://tokyo.cool.ne.jp/sdl/]
- 吉里吉里は？
- C# 関連
```
http://www.saturn.dti.ne.jp/~npaka/xna/
http://mtbeta.msdn.microsoft.com/ja-jp/library/bb203894.aspx?altlang=ja-jp
```

第1回目は底上げの回とする
- ウェブメールの利用
- ファイル操作、フォルダ操作
- 日本語の入力
- テキストファイル作成の3通りの方法
- （「拡張子→関連付け」は多分シスI の話に）
- （ショートカット、コピーの話はシスIのファイル編ラストで）

ネタ

http://www.ibi.bun.kyoto-u.ac.jp/index.html
http://itpro.nikkeibp.co.jp/article/COLUMN/20060501/236652/?ST=develop
http://www.revulo.com/blog/20071213.html
http://www.piedey.co.jp/softs/ntuxtl014.htmlv
http://mailsrv.nara-edu.ac.jp/~katohs/itjl/itjl-20070626.htm
http://mailsrv.nara-edu.ac.jp/~katohs/itjl/itjl-20070703-grep2.htm
http://www2.ocn.ne.jp/~yuyu3/zukan_download.html
http://www.geocities.jp/qqbjj485/Q-soft/piper/Piper.htm
http://itpro.nikkeibp.co.jp/article/COLUMN/20060227/230879/
http://www.lib.kyushu-u.ac.jp/medlib/med//zk.htm
http://www.geocities.jp/abelinternational/RE_Head.htm

自己紹介 †

所属とメール †

姫路獨協大学経済情報学部、
姫路獨協大学大学院経済情報学専攻助教授
2006年9月1日～2007年8月31日　King's College London 客員研究員
shinya@himeji-du.ac.jp
http://shinya.satolab.com/

担当科目 †

学部
- 情報処理演習B（プログラミング演習）
- 情報システム論I（テキストデータ処理、データベース）
- 情報システム論II（per/CGIプログラミング）
- ゼミI,II,III

大学院
- 情報処理演習（エクセルを使った線形計画法、パワーポイントによるプレゼンテーション）

最近の研究業績 †

学術論文（査読有り）
- Abubaker Hassan, Ian Mackie and Shinya Sato,
  Interaction nets: programming language design and implementation,
  Proceedings of 7th International Workshop on Graph Transformation and Visual Modeling Techniques, (To appear).

Ian Mackie and Shinya Sato,
A calculus for interaction nets based on the linear chemical abstract machine,
Proceedings of 3rd International Workshop on Development of Computational Models (To appear), 2007.

Abubaker Hassan and Shinya Sato,
Interaction Nets with nested pattern Matching,
Proceedings of the TERMGRAPH 2007, Electronic Notes in Theoretical Computer Science, Vol 203, pp 79-92, Elsevier, 2008.

Shinya Sato and Toru Sugimoto,
An Implementation of Recursive Operations in lambda-evaluator YALE on Interaction Nets,
Proceedings of Constructive Methods for Parallel Programming 2004, technical report of the University of Munster 2004(pp141-154), 2004/07.

Shinya Sato, Toru Sugimoto and Shinichi Yamada,
An implementation model of the typed lambda calculus based on Linear Chemical Abstract Machine,
Electronic Notes in Theoretical Computer Science, Vol 64, Elsevier, 2002/09.

Shinya Sato and Toru Sugimoto,
A Lambda Evaluator on Linear Chemical Abstract Machine, Constructive Methods for Parallel Programming,
Advances in Computation: Theory and Practice, Vol 10, pp111-126, Nova Science Publishers, 2002/09.

国際会議発表（査読有り）
- Abubaker Hassan, Ian Mackie and Shinya Sato,
  Interaction nets: programming language design and implementation,
  7th International Workshop on Graph Transformation and Visual Modeling Techniques, 2008/03.

Ian Mackie and Shinya Sato,
A calculus for interaction nets based on the linear chemical abstract machine,
the 3rd International Workshop on Development of Computational Models (To appear), 2007/07.

Abubaker Hassan and Shinya Sato,
Interaction Nets with nested pattern Matching,
TERMGRAPH 2007, 2007/03.

Shinya Sato and Toru Sugimoto,
An Implementation of Recursive Operations in lambda-evaluator YALE on Interaction Nets,
4th International Workshop on Constructive Methods for Parallel Programming 2004, 2004/07.

Shinya Sato, Toru Sugimoto and Shinichi Yamada,
An implementation model of the typed lambda calculus based on Linear Chemical Abstract Machine，
International Workshop on Functional and (Constraint) Logic Programming (WFLP2001), 2001.

Shinya Sato and Toru Sugimoto,
A Lambda Evaluator on Linear Chemical Abstract Machine，
2nd International Workshop on Constructive Methods for Parallel Programming (CMPP2000), 2000.

国内学会発表
- 佐藤伸也、杉本徹,
  インタラクションネット抽象機械の軽量化,
  情報処理学会プログラミング研究会 ,
  2006年3月.

佐藤伸也、園田浩一,
演習室環境に応じた KNOPPIX のカスタマイズ,
平成17年度大学情報化全国大会,
私立大学情報教育協会, 2005年9月.
原稿:E-11.pdf
発表資料:E-11.ppt

姫路獨協大学紀要
- 2006年3月, 共著（杉本徹）,
  インタラクションネット抽象機械の軽量化,
  姫路獨協大学経済情報学論集, 第22号, pp31-53.

2005年3月, 共著（杉本徹）,
古典線形論理の計算的解釈 Linear CHAM に基づく関数型言語とその並列実行モデル,
姫路獨協大学経済情報学論集, 第20号, pp67-98.

2004年3月, 単著,
インタラクションネット上のλ評価器YALEにおける再帰演算の実装,
姫路獨協大学経済情報学論集, 第18号.

2003年9月, 共著(秋本義久),
高記録値個数を用いた乱数列の検定,
姫路獨協大学経済情報学研究, 第29号.

2003年3月, 単著,
インタラクションネット上のλ評価器における再帰演算の実装,
姫路獨協大学経済情報学論集, 第17号, pp111-133.

当面やること(2005/8/19) †

緊急事態 †

学園祭(10/22,23)
- GBAのゲーム作成
IN の AbstMachine の改良
- 並列マシンの作成
海外研修の申請
TAの人数について
YALE の再帰（電気情報通信学会）
ET（赤間先生、馬淵先生、杉本先生、宮島先生）

ゆっくり考える †

GBA開発の基礎ライブラリを整理。
- 財団に申請（今年末）
- 来年の情報処理演習Bは GBA開発にしたいなぁと思っています。
  - scanf のようなデータ入力関数もあると便利かも

奥内君の卒研でかなり良いライブラリが仕上がりそうです。完成までの私の当面の課題は...
- タイルデータ、1024キャラ格納できるのか
  タイルブロック 0 1 が使える。一つのタイルブロックで（16色モードなら）512キャラ定義可能。よって、1024キャラ使える。→マップは16番にしておこう。
- 背景の反転、モザイク関数
- スプライトの拡大
- ひらがな、カタカナの表示
- サウンドがなっているかどうかの判別関数。楽譜指定に繰り返し命令を加える。

Knoppix for HDU 関連

研究
- 前回の体系は健全性しか示せなかったので、完全性も示せるようにする。
- データタイプを実装し、インタラクションネットの並列との関連を調べる。
- ロンドンで議論会を行う話は Mackie からの連絡待ち。

佐藤（個人）のページ †

佐藤のページ(HTML版) 2005/10/10

先日行ったスコットランドの写真をアップしました。
ぜひ見てみてください

その他・雑感 †

なんか、pukiwiki と自分の HTML のページをどのように使い分ければよいのか、いまだによくわかんないなぁ～ -- 佐藤? 2004-08-25 (水) 00:40:10
- 全部 PukiWiki でやってしまっても良いような気もしてきた。 -- 佐藤? 2004-08-30 (月) 00:04:40
HTMLのタグ <div></div> などがスタイル込みで使えるとうれしいんだけどな... -- 2004-12-05 (日) 18:00:37
- PukiWikiの話ですか？ CSSの話なら　タグ名 { プロパティ:value; } というように記述しておくとデフォルト設定できますが... -- 安東 2004-12-05 (日) 20:50:32
- PukiWiki の話です。独自タグだけじゃなく、HTMLのタグも PukiWiki でつかるといいんだけどなぁ。。。HTMLファイルを読み込むプラグインはあるみたいなんだけれど、インラインでお気楽に使えると嬉しい。 -- 佐藤伸也? 2004-12-06 (月) 20:58:36
- プラグインじゃなくてインラインで使うとなると、タグの構造を考えると無理なのでは？例えば<p>タグの中に<div>タグが入ってしまうなんてことになりかねないのでは？ -- 安東 2004-12-06 (月) 22:48:59
- blog って HTML のタグが使えるよね。あんな感じでできるといいなぁって。 -- 佐藤伸也? 2004-12-06 (月) 23:05:01
- タグを意識しなくていいのが PukiWiki の利点なのではないでしょうか？確かに blog は HTML タグが使えますが、blog の場合は使えるというよりも、使わなければ文字の装飾などが一切できないようになっています。例えば太字にするのも<b>タグが必要ですし、表を書くには<table>タグか<div>タグを使わなければいけません。blog は HTML タグを記述することが前提なのです。 -- 安東 2004-12-07 (火) 00:15:11
- そうなんだけどさ、統一性がなくなるのを覚悟で両方使えたらいいなぁって思うわけです。 -- 佐藤伸也? 2004-12-07 (火) 01:20:46
- HTMLのタグを解釈するWikiエンジンがあるって昔どこかで見たんだけれど、なかなか検索できない。 -- 佐藤伸也? 2004-12-07 (火) 01:31:27
ﾔｳﾞｧｲYOﾔｳﾞｧｲYO!文はいい感じだけどプログラムがまだできねぇですよ。先生の研究室って居座り有り(;´Д｀)？ -- かたおか? 2004-12-07 (火) 21:53:15
ﾔｳﾞｧｲYOﾔｳﾞｧｲYO!文はいい感じだけどプログラムがまだできねぇですよ。先生の研究室って居座り有り(;´Д｀)？ -- かたおか? 2004-12-07 (火) 23:51:38
二重カキコかよ！すいません…。 -- かたおか? 2004-12-07 (火) 23:52:06
メディア工房ならば授業時間以外は居座っても構いませんよ。 -- 佐藤伸也? 2004-12-08 (水) 14:18:22
先のHTMLタグの話ですが、PukiWiki.orgで "HTMLタグ" で検索しましたところ、HTMLページを表示するプラグインはあるようです。しかし、HTMLを自由に編集できるようにするとなると、「誰でも書き換えられる」という点からセキュリティーホールになる可能性が高いため、とても危険なようです。
HTMLタグを解釈するWikiエンジンについては、定かではありませんが SWiki というものがあるという噂です。 -- 安東 2004-12-09 (木) 20:13:56
- なるほど、SWiki かもしれません、ありがとう。 -- 佐藤伸也? 2004-12-09 (木) 21:08:01
普段、配布資料は手作りで中綴じ製本をしているのですが、50部作成するのに4,5時間くらいかかります。なんか良い方法ないかなぁと考えていたら、すばらしいことをしているページを見つけました。 http://www.advsys.co.jp/nakatoji/ 　モニタに応募してみようかな。 -- 佐藤伸也? 2004-12-26 (日) 21:02:05
- これいいですね！一般販売されたらぜひ購入したいです。残る課題は二つ折りと10号針の処理限界？ -- 安東 2004-12-27 (月) 11:45:29
- 2つ折までやってくれると最高だよね。 -- 佐藤伸也? 2004-12-27 (月) 20:57:40
そのうち sato.fam.cx のトップページを xoops にして、xoops で wiki を管理させる予定。 -- 佐藤伸也? 2005-01-13 (木) 12:04:47
こんかいはnet2ftpで転送しました -- 合楽 2005-01-24 (月) 18:29:10
はい、一つ一つ選択して転送しました　あとサーバーのドメインを変更するということですが、HPのアドレスも変更しなければならないのでしょうか？ -- 合楽 2005-01-25 (火) 11:29:09
例の中綴じ製本機のモニターに当たりました！26日に発送してくれるそうです。楽しみだなぁ。 -- 佐藤伸也? 2005-01-25 (火) 22:12:11
FrontPageに記述されている myrecent プラグインの仕様を教えていただけませんでしょうか？ -- 安東 2005-01-31 (月) 18:35:52
- #pcomment をもとにして作成しています。第一引数で「新着情報」のページ名（省略時は「新着情報」）、第二引数で表示件数（省略時は10件）を指定します。データの数え方は、 //--- が出現するまでを1件としています。かなり適当な仕様です。 -- 佐藤伸也? 2005-02-01 16:42:23 (火)
  - ということは、includeされるページは手作業で作成しているのですね。使い方によっては、サブウィンドウみたいなことができるかも？ -- 安東 2005-02-01 18:52:30 (火)
  - include されるページは手作業です。データの区切り方法のキーワードなんかが指定できるといいかもね。ところで、サブウィンドウみたいなことって、どういう感じ？ -- 佐藤伸也? 2005-02-01 19:09:44 (火)
  - 表現が適切ではありませんでしたね。例えば、トップページには内容を表示させたいページの指定だけをしておいて、内容を記述したページは別階層に置くことで更新や荒らし対策が楽に。普通の include プラグインと違ってページタイトルは表示されないので、頻繁に変更する部分だけを独立したページに置くことで、速報やネット広告的な使い方もできる。 ...こんな感じです。 -- 安東 2005-02-01 19:28:32 (火)
  - なるほどね。新着情報以外にも色々と使えそうだね。 -- 佐藤伸也? 2005-02-01 21:50:40 (火)
ウェブFTP　ｎｅｔ２ＦＴＰになぜかログインできません。ウェブメールはログインできるのですが・・・。 -- 合楽 2005-02-04 20:26:12 (金)
- 設定をしなおしました。今度は大丈夫だと思います。 -- 佐藤伸也? 2005-02-04 20:35:13 (金)
入れました。お手数おかけしました。 -- 合楽 2005-02-04 20:52:13 (金)
パンくずリスト（topicpath）の動作がおかしいみたいです。深い階層のリンクをクリックすると、"Object not found! Error 404"って怒られます。 -- 安東 2005-02-04 22:47:16 (金)
- 連絡ありがとう。%2F を / に変換するのを忘れてました。これで大丈夫だと思います。 -- 佐藤伸也? 2005-02-05 12:17:47 (土)
net2ftp で「ダウンロード」ボタンが機能しませんが、別の方法でダウンロードする手順を報告します。
1. ダウンロードしたいファイルを選択して「圧縮」ボタンをクリックし、zip書庫を作成。
2. ファイル一覧で、作成した zip書庫の行の「操作・開く」列（画面右端）をクリックすると、正常にダウンロードできます。（注：アイコンやファイル名のクリックではありません） -- 安東 2005-04-15 17:35:48 (金)
不具合報告: 注釈に貼られるリンクが正常に動作しません。文字化けしたページ名の新規ページの作成画面になってしまいます。 -- 安東 2005-05-03 17:03:37 (火)
- 報告ありがとう。修正してみます。それと、net2ftpのダウンロード方法もどうもありがとう！ -- 佐藤伸也? 2005-05-05 02:48:04 (木)

Counter: 5987, today: 2, yesterday: 2

添付ファイル:

E-11.ppt 837件 [詳細]

E-11.pdf 647件 [詳細]

[ 編集 | ソース閲覧 | 添付 | 新規 | ヘルプ ] [ リンク元 ]

Last-modified: 2008-10-03 (金) 06:37:15 (47d)