コンテンツにスキップ

新井紀子

出典: フリー百科事典『ウィキペディア(Wikipedia)』

  19621022[1]  

[]


[2][3][4]41magna cum laude5 [5]1990[6]

19901994[7]1997On Lengths of Proofs in Propositional Calculi()[8]20062004[9]

2009OSS2010[10]20182AI vs.[11][12][13]TOPPOINT[14]2019[15]2021(2021620239)[16]2022[17]ICT[10]

[]


2001NetCommons2009Researchmap2011[18]

2011AI20155857.1249.7AI[19]AI2016

AI8[20]2015調AIAIAIAI[21]2016[22]調

[]


1981 [5]

1985 magna cum laude[23]

1984 5 [5]

1990   [5]

1995 [5]

1994 

1997   [5]

1998 

1999 

2001 

2002 

2002 [][23]

2004 

2005 

2006 /

2006 

2008 

2009 [24][25][26]

2017 [27]

2019 [28]

2021 [16]

[]

[]


 20026

20039

(!) 2005 2011

 <> ( 113)200511

(!) 20072

! ()2007

math stories20099

201012

20117

? ()201212

20136

 (!)2014 2018

AI vs. 2018

AI20199ISBN 9784492762509 

[]


 ) 7!20014

,,,, 2005

,,e)20056

,,))2005

 !PHP20077

,,,,!NIE 200710

! NetCommons20098

 (math stories)2009

,NetCommons: 2011

(14)2012

,,寿)201410

[]


 )7!19988

[]


: AI 20186



脚注[編集]



(一)^  20162016p.391

(二)^ Company, The Asahi Shimbun.  -  - . www.asahi.com. 2019115

(三)^ 

(四)^ . . 2019116

(五)^ abcdef  -  - researchmap. researchmap.jp. 2019115

(六)^ AI vs. 

(七)^ [1]HQ

(八)^ 

(九)^ HQ

(十)^ ab[2]

(11)^  2018928 500

(12)^  2018/5/29 20:50

(13)^ 

(14)^ 2018TOPPOINT

(15)^  2019.  2019. 20191022

(16)^ ab 

(17)^ 4 

(18)^ [3]

(19)^ 57 |   20161118

(20)^ AI  () -  - Yahoo! 20161114

(21)^ AIAI - ITmedia NEWS 20161121

(22)^ . . 20231024

(23)^ ab18 220

(24)^ [4]

(25)^ [5]

(26)^ [6]

(27)^  20179230700(9230700)

(28)^ 

外部リンク[編集]