齋藤 新 (Shin Saito)

Shin Saito received BS and M.S. (Information Science) from the Department of Mathematical Science and the Department of Science, of the University of Tokyo (1999, 2001 respectively.) He joined IBM at 2001.

専門分野: プログラミング言語の基礎理論 (プログラム解析、型理論)
現在アクセシビリティの研究に従事

• Eclipse ACTF aDesigner
• Eclipse ACTF aiBrowser

Transactions/Journals (論文誌)

• M. Kudo, Y. Araki, H. Nomiyama, S. Saito, Y. Sohda. "Best practices and tools for personal information compliance management". IBM Systems Journal, Vol. 46, No. 2, 2007.
• H. Takagi, S. Saito, K. Fukuda, C. Asakawa. "Analysis of Navigability of Web Applications for Improving Blind Usability". ACM Trans. Comput.-Hum. Interact. 14, 3, Article 13, 2007.
• (Japanese) 福田, 高木, 前田, 斉藤, 浅川. "Webアクセシビリティ向上支援ツール: aDesigner", 日本ソフトウェア科学会, 2006.

International Conferences (国際会議)

• T. Tateishi, H. Miyashita, N. Tabuchi, S. Saito, K. Ono. "DHTML Accessibility Checking based on Static JavaScript Analysis". To be appeared in Universal Access in Human-Computer Interaction (UAHCI), 2007.
• S. Saito, H. Takagi, C. Asakawa. "Transforming Flash Movies to XML for Accessibility Evaluations". ACM ASSETS, 2006.
• T. Tateishi, H. Miyashita, K. Ono, S. Saito. "Automated Verification Tool for DHTML". Automated Software Engineering (ASE), Demonstration Session, 2006.
• H. Takagi, S. Saito, K. Fukuda, C. Asakawa. "How Can Tools Help Web Designers Ensure Real Usability for the Blind on the Web?". Universal Access In Human-Computer Interaction (UAHCI), 2005.
• K. Fukuda, S. Saito, H. Takagi, C. Asakawa. "Proposing New Metrics to Evaluate Web Usability for the Blind". Conference on Human Factory in Computing systems (CHI), 2005.
• N. Sato, S. Saito, K. Mitsui. "Optimizing Composite Web Services through Parallelization of Service Invocations". The 6th International Enterprise Distributed Object Computing Conference (EDOC), 2002.
• N. Kobayashi, S. Saito, and E. Sumii. "An Implicitly-Typed Deadlock-Free Process Calculus". The 11th International Conference on Concurrency Theory (CONCUR), State College, PA, USA, 2000.

Domestic Conferences (国内会議)

• (Japanese) 立石, 宮下, 小野, 斉藤. "DHTMLにおけるDOMの解析手法". ソフトウェア工学の基礎ワークショップ (FOSE), 2006.
• (Japanese) 立石, 宮下, 小野, 斉藤. "ページフローに着目したDHTMLの自動検証". ソフトウェアエンジニアリングシンポジウム (SES), 2006
• (Japanese) 斉藤, 立石. "マルチメディアコンテンツの静的解析へ向けて". 第8回プログラミングおよびプログラミング言語ワークショップ (PPL), 日本ソフトウェア科学会, 2006.
• (Japanese) 立石, 斉藤, 宮下. "DHTMLのためのアクセシビリティ・チェックツール". 第9回プログラミングおよび応用のシステムに関するワークショップ (SPA), 日本ソフトウェア科学会, 2006.
• (Japanese) 斉藤, 福田, 高木, 浅川. "Webのライフサイクルを考慮したアクセシビリティの向上支援手法". 第7回インターネットテクノロジー ワークショップ (WIT), 日本ソフトウェア科学会, 2005.
• (Japanese) 斉藤, 小林, 住井. "非明示型付けデッドロックフリープロセス計算". 第2回プログラミングおよびプログラミング言語ワークショップ (PPL), 日本ソフトウェア科学会, 2000.

バレーボール、スキー、登山、三角点巡り、ドライブ

〒242-8502 神奈川県大和市下鶴間1623-14 日本IBM LAB-S73
LAB-S73, IBM Japan, Ltd., 1623-14 Shimo-Tsuruma, Yamato, Kanagawa 242-8502 Japan
e-mail: shinsa AT jp.ibm.com
twitter: @shinsa82