メインメニュー

Mizarプロジェクト関係トップ
.CS on Moodle(仮運用中)

インターネット大学院(SUGSI)
インターネット大学(SUSI)
WebAntenna (secured)
はてなon-line RSS reader
現代GP情報公開ポータル

 ホーム
 ニュース
   ニュース投稿
   アーカイブ
 フォーラム
 ダウンロード
   登録する
   人気ダウンロード
   高評価ダウンロード
 リンク集
   登録する
   人気リンク
   高評価リンク
 登録ユーザ一覧

ようこそ sw-lab on XOOPS へ!
このサイトは、信州大学工学部情報工学科IS研究グループ(師玉研究室・和崎研究室・岡崎研究室)が運営する、セミナーポータルサイトです。XOOPSを用いて構築しています。 XOOPSは、登録された皆さんが各セミナーにおいて新たなフォーラムスレッド(議論)を立てたり、個々人の定期報告を行ったり、あるいは参考文献のリンク集を充実させることで、成長していくサイトです。 Wikiを用いてメモをとることも可能です。
※信州大学正規生の方は、必ず学籍番号を"ユーザID"として新規登録してください。学外の方は、ID発行サービスで生成されたCAI受講IDを使って登録いただくと便利です。なお、荒らし対策のため、全てのフォーラムの書き込みにはユーザIDが必要となりました (2008/03/01)
本日のトップニュースはありません


フォーラムでの最近の話題
フォーラムスレッド返信数閲覧数最終投稿日時
(1) 師玉研 sw-lab 掲示板Fwd: 停電にともなうサーバ接続一時停止について(8/23 6:00--19:00)022008-8-11 17:09
(1) Mizarによる証明記述法Mizar Proof Checker update101032008-8-7 21:33
(2) IT技術演習(PICNIC)周辺拡張キッド4162008-6-24 16:56
(2) IT技術演習(PICNIC)PICNIC(Ver2.0)のLCDとりつけについて4122008-6-23 11:31
(5) Perl言語&CGI演習httpd.confのバックアップ先について1142008-6-20 13:05
(1) 師玉研 sw-lab 掲示板The 2008 Technical Symposium and GeneralAssembly of Mizar Japan022008-5-27 10:35
(2) IT技術演習(PICNIC)RB7を Hight にしてもリレーが作動しない。12942008-5-7 23:24
(2) IT技術演習(PICNIC)PICライタ書き込みエラー(コードプロテクト)について3402008-5-7 23:20
(1) 師玉研 sw-lab 掲示板ネット上での図書館の利用法や参考文献の探し方(2008)122008-4-17 11:20
(2) IT技術演習(PICNIC)CPUが壊れた感じがしますが本当ですか?2192008-4-8 14:45
(1) 師玉研 sw-lab 掲示板2008年4月からの師玉の研究指導テーマ0202008-4-2 0:36
(1) 師玉研 sw-lab 掲示板IT学生によるゼミのお知らせ0122008-3-14 23:47
(3) C言語(応用編)C言語(応用編) CAI#07052008-2-26 15:30
(2) IT技術演習(PICNIC)LAN経由の接続を受け付けません5252008-2-19 9:30
(3) C言語(応用編)CAI5について16572008-2-6 14:06
»» フォーラムへ




 
 SUGSI : Fwd: 停電にともなうサーバ接続一時停止について(8/23 6:00--19:00)
投稿者 wasaki 投稿日時 2008-8-11 17:08:12 (13 ヒット)

SUGSIhttp://www.cs.shinshu-u.ac.jp/cgi-bin/bbs/mqbbs.cgi?&MODE=MSG&NUM=2587
ネットワーク停止のお知らせ(8月23日)
発言者:宮尾@学科計算機委員長 2008年08月11日(月) 15時43分

 電気設備の点検作業に伴う停電のため,下記のとおりネットワークが一時停止
いたします。ご迷惑をおかけいたしますが,ご理解とご協力をお願いいたします。

            記

* 停止個所 : 学科内の全サーバ
* 停止期間 : 2008年8月23日(土) 6:00 〜 19:00
 コメントする

 sw-lab : 一部のサイト画面の表示に障害が起きていました→復旧
投稿者 wasaki 投稿日時 2008-3-1 10:42:37 (154 ヒット)

sw-labsw-lab on XOOPSサイトですが、一部のサイト画面の表示に障害が起きていましたが、昨日から復旧しています。一部のメニューが非表示になっていますが、ご了承ください。なお、登録ユーザ情報の整理を行いましたが、万一ログインできなくなっている場合には管理人(wasaki _at_ int-univ.com)までご連絡ください。

 コメントする

 信州大学 : IT院:2008年3月修了予定生の公聴会日程について
投稿者 wasaki 投稿日時 2007-11-13 11:00:51 (335 ヒット)

信州大学標記の件につきまして、BBSへ掲示がされておりますので、
各位参照、ご参集ください。

http://cai.cs.shinshu-u.ac.jp/cgi-bin/bbs/InfoToStd/mqbbs.cgi?&MODE=MSG&NUM=365
 コメントする

 sw-lab : 定期報告用フォーラムの構成を平成19年度後期分へ更新しました
投稿者 wasaki 投稿日時 2007-10-11 18:15:04 (277 ヒット)

sw-labsw-lab定期報告用フォーラムの構成を平成19年度後期分へ更新しました。登録ユーザのみアクセス可能です。
博士課程へ進学等された方については、学籍番号を管理人(wasaki)までご連絡ください。新たなユーザ名への移行作業を行います。それまでは旧IDでログインしてください。

http://www.sw-lab.com/xoops/modules/newbb/
 コメントする

 信州大学 : IT院:2007年9月修了生の修士論文アーカイブ
投稿者 wasaki 投稿日時 2007-7-11 11:53:01 (2566 ヒット)

信州大学下記の日程で、情報工学専攻H19.9月修了生の修士論文発表会(兼審査会)が開催されました。多数の御来聴、誠にありがとうございました。
-----------------------------------------------

信州大学大学院工学系研究科
博士前期課程情報工学専攻
修士課程情報工学専攻

公聴会兼審査会(師玉・新村研、不破・和崎研)

日時:平成19年9月8日(土)午後2時から開始
場所:信州大学工学部 情報工学科棟3階 313室
〒380-8553 長野県長野市若里4-17-1

発表時間15分+質疑応答10分 合計25分

-----------------------------------------------

<Wiki>
http://www.sw-lab.com/pukiwiki/index.php?SUGSI%2FDefense2007.9.8

発表された方々の講演予稿ならびに修士論文のPDFファイルを、取り纏めました。配布の範囲は、学内関係者ならびに信州大学の在籍学生(学部、修士、博士)に限ります。ご希望の方は、
・お名前
・学籍番号
を明記の上、和崎まで、直接メールにて連絡してください。
wasaki@cs.shinshu-u.ac.jp
 コメントする

 ログイン

ユーザ名

パスワード

パスワード紛失

まだ未登録の方は
新規登録

 検索

 最新ニュース記事
  · Fwd: 停電にともなうサーバ接続一時停止について(8/23 6:00--19:00) (2008-8-11)
  · 一部のサイト画面の表示に障害が起きていました→復旧 (2008-3-1)
  · IT院:2008年3月修了予定生の公聴会日程について (2007-11-13)
  · 定期報告用フォーラムの構成を平成19年度後期分へ更新しました (2007-10-11)
  · IT院:2007年9月修了生の修士論文アーカイブ (2007-10-11)

 最新ダウンロード
  · Latest Mizar releases (2008-8-7)
  · CPN Tools (2007-10-11)
  · NetCommons(Nii) (2007-10-11)
  · CPN-AMI (2007-10-11)
  · Mozilla Firefox (2007-10-11)
  · Moodle (2007-10-11)
  · NuSMV2 (2007-10-11)
  · Mozilla Thunderbird (2007-10-11)
  · ISO/IEC 15909-1:2004 (2005-7-2)
  · MPI : メッセージ通信インターフェース標準(日本語訳ドラフト) (2005-2-14)

 新着リンク
  · バリアフリープレゼンテーション法 (2007-4-9)
  · Mizar Links (2007-4-2)
  · Mizarプロジェクト関係トップ (2007-2-19)
  · 論文の構成 (2006-11-30)
  · 科学技術論文の書き方(早稲田大学・岡田先生) (2006-11-30)
  · One Red PaperClip (2006-8-9)
  · sw-lab : 師玉研 (2006-7-16)
  · ESM2006 (2006-4-17)
  · FMCAD 2006 (2006-4-17)
  · HyLo 2006 (2006-4-17)

XOOPS Official Website
(c)2008 Shidama Laboratory, All Copyrights reserved.
webmaster of this site
Powered by XOOPS 1.3.10 © 2002 The XOOPS Project