経歴

Last Modified: June 28, 2023
 

　　　　　ささお　つとむ
氏名　　　笹尾　　勤

１９７２年　　　　　　　大阪大学工学部電子工学科卒業
１９７７年　　　　　　　大阪大学大学院工学研究科博士課程修了（工学博士）
１９７７年　　　　　　　大阪大学工学部助手
１９８２年～８３年　　　米国IBM社ワトソン研究所客員研究員
１９８８年　　　　　　　九州工業大学・情報工学部・電子情報工学科助教授
１９９０年　　　　　　　米国海軍大学院大学　客員教授
１９９３年        　　　九州工業大学・情報工学部・電子情報工学科教授
２０１３年            　九州工業大学名誉教授
２０１３年　　　　　　　明治大学・理工学部・情報科学科・教授
２０２０年　　　　　　　明治大学・研究・知財戦略機構　研究推進員（客員研究員）

研究分野：　論理設計，スイッチング理論，論理回路の複雑度解析，
　　　　　　多値論理の応用，パターンマッチング
主要著書
  室賀，笹尾（共訳），”論理設計とスイッチング理論：ＬＳＩ，ＶＬＳＩの
　設計基礎”，共立出版，（１９８１－０７）．
　向殿，笹尾，”スイッチング理論演習，”朝倉書店，（１９８４－０５）．
　笹尾，”ＰＬＡの作り方使い方，”日刊工業新聞社，（１９８６－０５）．
　笹尾,”論理設計：スイッチング回路理論、”近代科学社（１９９５ー０１）
  T. Sasao (ed.)  "Logic Synthesis and Optimization," 
  Kluwer Academic Publishers 1993.
  T. Sasao and M. Fujita (ed.)"Representation of Discrete Functions,"
  Kluwer Academic Publishers 1996.
  T. Sasao,"Switching Theory for Logic Synthesis," 
  Kluwer Academic Publishers 1999.
  S. Hassoun and T. Sasao,"Logic Synthesis and Verification," 
  Kluwer Academic Publishers 2002.
  T. Sasao and J. T. Butler, "Progress in Applications of Boolean Functions,"
  Morgan & Claypool Publishers, Jan. 2010. pp.1-153.
  T. Sasao, "Memory-Based Logic Synthesis," Springer, March 2011.
  T. Sasao and J. T. Butler, "Applications of Zero-Suppressed Decision Diagrams,"
  Morgan & Claypool Publishers, Nov. 2014. pp.1-101.
  T. Sasao, "Index Generation Functions,"
  Morgan & Claypool Publishers, Oct. 2019. pp.1-163.
  T. Sasao, "Classification Functions for Machine Learning and Data Mining,"
  Springer Nature, July 2023.

受賞関係
　１９７９年　丹羽記念賞
　１９８７年  Distinguished Contribution Award, IEEE Computer Society, MVL-TC (ISMVL-1986)
  １９９４年  IEEE Fellow
  １９９６年  Distinctive Contributed Paper Award, IEEE Computer Society　(ISMVL-1995)
  ２００１年  武田研究奨励賞・最優秀研究賞
　２００４年  Distinctive Contributed Paper Award, IEEE Computer Society　（ISMVL-2003)
　２００５年  Distinctive Contributed Paper Award, IEEE Computer Society   (ISMVL-2004)
  ２０１０年　1st Place, Design Contest, 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE-2010), 
  ２０１０年　Outstanding Paper Award (SASIMI 2010)
  ２０１１年　Outstanding Paper Award, IPSJ Transactions on System LSI Design Methodology
  ２０１３年　Outsanding Contributed Paper Award, IEEE Computer Society   (ISMVL-2012)
  ２０１３年　Outstanding Paper Award (SASIMI 2013)
  ２０１６年  IEEE Life Fellow
　２０２０年  Outstanding Contributed Paper Award, IEEE Computer Society   (ISMVL-2019)
Back