cpuexp.blogspot.com
CPU 実験日記: 5月 2010
http://cpuexp.blogspot.com/2010_05_01_archive.html
の名物実験、CPU 実験の日記。チーム C# (とその他の愉快な仲間たち) より愛をこめて。 こんばんは、竹井です。五月祭も無事におわりまして、地上の喧騒から地下の楽園に帰ってきました。 と、ここで大ニュースがありまして、実は今日の五月祭 2 日目、なんと何もしないはずだった情報科学科でも出し物をしていた有志がいたのでありました! その名も「東大地下を這い出たギークたち'08」という、なんともアヤシゲな雰囲気をかもし出すバンド名。実はこれ、地下、つまりわれわれがいる学生控え室というのは、4 年生の秋になると自動的に各研究室に配属されて、地面よりも高いところ (建物の 3F だとか 4F だとか)、つまり天空に位置する研究室の学生部屋へと移っていくわけでして、去年そうやって地下から地上へと旅立ってゆかれた私どもの諸先輩方のバンドだったのです。まぁこんな感じ↓. バンドの演奏中は、さすがに IS らしく、同じ 2008 の plus7. 東京大学第83回五月祭 @ 雪明りの光合成。 は、わが班の金沢君が立ち上げたサークルらしいですよ。FPU の高速化に貢献した数学力もさることなが...という文化祭をやってお...
yl.is.s.u-tokyo.ac.jp
Site of Yonezawa Group
http://www.yl.is.s.u-tokyo.ac.jp/wiki
Last modified on 05/24/13 14:56:55. Welcome to the (site of) Yonezawa Group's WWW server, at. The Department of Information Science. The University of Tokyo. Emeritus Professor Akinori Yonezawa. Professor Akinori Yonezawa's Final Lecture (in Japanese). Introduction of Yonezawa Group. Route to Yonezawa Group. Dependable System Software Development Technology. Information Security for Embedded Systems (Web archive). Fail-safe C Compiler: A memory-safe ANSI-C Compiler. Information for Group Members.
yl.is.s.u-tokyo.ac.jp
Akinori Yonezawa's Home Page
http://www.yl.is.s.u-tokyo.ac.jp/~yonezawa/home.html
Biographical Sketch of Akinori YONEZAWA. Jump to Japanese Version. Akinori YONEZAWA is professor at Department of Computer Science, University of Tokyo. He was born in 1947, and received his B.E. and M.E. degrees from University of Tokyo in 1970, and 1972, and Ph.D. in Computer Science from the Massachusetts Institute of Technology in 1977. Large Scale Applications of Concurrent Objects. He is the author and editor of several books including:. Object-Oriented Concurrent Programming' , MIT Press, 1987.
yl.is.s.u-tokyo.ac.jp
Site of Yonezawa Group
http://www.yl.is.s.u-tokyo.ac.jp/wiki/WikiStart.
Last modified on 05/24/13 14:56:55. Welcome to the (site of) Yonezawa Group's WWW server, at. The Department of Information Science. The University of Tokyo. Emeritus Professor Akinori Yonezawa. Professor Akinori Yonezawa's Final Lecture (in Japanese). Introduction of Yonezawa Group. Route to Yonezawa Group. Dependable System Software Development Technology. Information Security for Embedded Systems (Web archive). Fail-safe C Compiler: A memory-safe ANSI-C Compiler. Information for Group Members.
yl.is.s.u-tokyo.ac.jp
WikiStart.ja – Site of Yonezawa Group
http://www.yl.is.s.u-tokyo.ac.jp/wiki/WikiStart.ja
Last modified on 05/24/13 12:26:07. 高安全なC言語,およびC 言語コンパイラの開発 ( VITC. OS用型付きアセンブリ言語の設計 実装 ( TALK. Towards Formal Verification of Memory Properties using Separation Logic. Combining Type-Based Analysis and Model Checking for Finding Counterexamples against Non-Interference. A framework to build program verifiers for low-level languages. Aspectual Caml: an aspect-oriented functional language (. Phoenix Grid Computing Project. Download in other formats:. Powered by Trac 0.12.5. Site of Yonezawa Group.
yl.is.s.u-tokyo.ac.jp
Site of Yonezawa Group
http://www.yl.is.s.u-tokyo.ac.jp/wiki/WikiStart
Last modified on 05/24/13 14:56:55. Welcome to the (site of) Yonezawa Group's WWW server, at. The Department of Information Science. The University of Tokyo. Emeritus Professor Akinori Yonezawa. Professor Akinori Yonezawa's Final Lecture (in Japanese). Introduction of Yonezawa Group. Route to Yonezawa Group. Dependable System Software Development Technology. Information Security for Embedded Systems (Web archive). Fail-safe C Compiler: A memory-safe ANSI-C Compiler. Information for Group Members.