oanus-log

下が古い．上が新しい．間は他所．

2009-03-17

T 15:18

計算機が型を発見したりすることはできるんだろか，という疑問．型推論ではなく，たとえば integer 型を発明しちゃうような．

次の投稿前の投稿ホーム

archive

► 2023 (1)
- 07 (1)

► 2022 (1)
- 02 (1)

► 2020 (1)
- 04 (1)

► 2018 (1)
- 09 (1)

► 2017 (4)
- 03 (4)

► 2015 (2)
- 01 (2)

► 2014 (12)
- 11 (6)
- 07 (1)
- 05 (2)
- 02 (3)

► 2013 (30)
- 02 (6)
- 01 (24)

► 2012 (31)
- 11 (4)
- 10 (2)
- 07 (2)
- 05 (7)
- 04 (2)
- 03 (8)
- 02 (4)
- 01 (2)

► 2011 (42)
- 11 (1)
- 10 (3)
- 09 (13)
- 08 (1)
- 04 (3)
- 03 (2)
- 02 (9)
- 01 (10)

► 2010 (120)
- 12 (5)
- 11 (3)
- 10 (3)
- 09 (25)
- 08 (30)
- 06 (4)
- 05 (6)
- 03 (4)
- 02 (9)
- 01 (31)

▼ 2009 (377)
- 12 (2)
- 11 (7)
- 10 (42)
- 09 (10)
- 08 (19)
- 07 (26)
- 06 (26)
- 05 (40)
- 04 (78)
- 03 (62)
- 02 (33)
- 01 (32)

► 2008 (543)
- 12 (36)
- 11 (56)
- 10 (56)
- 09 (24)
- 08 (41)
- 07 (74)
- 06 (44)
- 05 (21)
- 04 (69)
- 03 (45)
- 02 (31)
- 01 (46)

► 2007 (600)
- 12 (83)
- 11 (77)
- 10 (49)
- 09 (20)
- 08 (36)
- 07 (28)
- 06 (10)
- 05 (58)
- 04 (58)
- 03 (88)
- 02 (59)
- 01 (34)