Œo—π

Last Modified: June 28, 2023

Sasao's photo
 

@@@@@‚³‚³‚¨@‚Β‚Ζ‚ή
Ž–Ό@@@ω”φ@@‹Ξ

‚P‚X‚V‚Q”N@@@@@@@‘εγ‘εŠwHŠw•”“dŽqHŠw‰Θ‘²‹Ζ
‚P‚X‚V‚V”N@@@@@@@‘εγ‘εŠw‘εŠw‰@HŠwŒ€‹†‰Θ”ŽŽm‰Ϋ’φC—ΉiHŠw”ŽŽmj
‚P‚X‚V‚V”N@@@@@@@‘εγ‘εŠwHŠw•”•Žθ
‚P‚X‚W‚Q”N`‚W‚R”N@@@•Δ‘IBMŽΠƒƒgƒ\ƒ“Œ€‹†Š‹qˆυŒ€‹†ˆυ
‚P‚X‚W‚W”N@@@@@@@‹γBH‹Ζ‘εŠwEξ•ρHŠw•”E“dŽqξ•ρHŠw‰Θ•‹³Žφ
‚P‚X‚X‚O”N@@@@@@@•Δ‘ŠCŒR‘εŠw‰@‘εŠw@‹qˆυ‹³Žφ
‚P‚X‚X‚R”N        @@@‹γBH‹Ζ‘εŠwEξ•ρHŠw•”E“dŽqξ•ρHŠw‰Θ‹³Žφ
‚Q‚O‚P‚R”N            @‹γBH‹Ζ‘εŠw–Ό—_‹³Žφ
‚Q‚O‚P‚R”N@@@@@@@–ΎŽ‘‘εŠwE—HŠw•”Eξ•ρ‰ΘŠw‰ΘE‹³Žφ
‚Q‚O‚Q‚O”N@@@@@@@–ΎŽ‘‘εŠwEŒ€‹†E’mΰν—ͺ‹@\@Œ€‹†„iˆυi‹qˆυŒ€‹†ˆυj

Œ€‹†•ͺ–μF@˜_—έŒvCƒXƒCƒbƒ`ƒ“ƒO—˜_C˜_—‰ρ˜H‚Μ•‘ŽG“x‰πΝC
@@@@@@‘½’l˜_—‚Μ‰ž—pCƒpƒ^[ƒ“ƒ}ƒbƒ`ƒ“ƒO
Žε—v’˜‘
  ŽΊ‰κCω”φi‹€–σjCh˜_—έŒv‚ΖƒXƒCƒbƒ`ƒ“ƒO—˜_F‚k‚r‚hC‚u‚k‚r‚h‚Μ
@έŒvŠξ‘bhC‹€—§o”ŁCi‚P‚X‚W‚P|‚O‚VjD
@Œό“aCω”φChƒXƒCƒbƒ`ƒ“ƒO—˜_‰‰KCh’©‘q‘“XCi‚P‚X‚W‚S|‚O‚TjD
@ω”φCh‚o‚k‚`‚̍μ‚θ•ϋŽg‚’•ϋCh“ϊŠ§H‹ΖV•·ŽΠCi‚P‚X‚W‚U|‚O‚TjD
@ω”φ,h˜_—έŒvFƒXƒCƒbƒ`ƒ“ƒO‰ρ˜H—˜_Ah‹ί‘γ‰ΘŠwŽΠi‚P‚X‚X‚T[‚O‚Pj
  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.

ŽσάŠΦŒW
@‚P‚X‚V‚X”N@’O‰H‹L”Oά
@‚P‚X‚W‚V”N  Distinguished Contribution Award, IEEE Computer Society, MVL-TC (ISMVL-1986)
  ‚P‚X‚X‚S”N  IEEE Fellow
  ‚P‚X‚X‚U”N  Distinctive Contributed Paper Award, IEEE Computer Society@(ISMVL-1995)
  ‚Q‚O‚O‚P”N  •“cŒ€‹†§—γάEΕ—DGŒ€‹†ά
@‚Q‚O‚O‚S”N  Distinctive Contributed Paper Award, IEEE Computer Society@iISMVL-2003)
@‚Q‚O‚O‚T”N  Distinctive Contributed Paper Award, IEEE Computer Society   (ISMVL-2004)
  ‚Q‚O‚P‚O”N@1st Place, Design Contest, 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE-2010), 
  ‚Q‚O‚P‚O”N@Outstanding Paper Award (SASIMI 2010)
  ‚Q‚O‚P‚P”N@Outstanding Paper Award, IPSJ Transactions on System LSI Design Methodology
  ‚Q‚O‚P‚R”N@Outsanding Contributed Paper Award, IEEE Computer Society   (ISMVL-2012)
  ‚Q‚O‚P‚R”N@Outstanding Paper Award (SASIMI 2013)
  ‚Q‚O‚P‚U”N  IEEE Life Fellow
@‚Q‚O‚Q‚O”N  Outstanding Contributed Paper Award, IEEE Computer Society   (ISMVL-2019)

Back