340 followers
RT @metaphusika: 継続（continuation）の概念の発見についてはReynoldsが調べて1993年に論文を書いている。1964年にvan Wijngaardenが最初に発見したがあまり広がらず、その後繰り返し再発見されているらしい。当時既に関係者が亡くな…
1,721 followers
継続（continuation）の概念の発見についてはReynoldsが調べて1993年に論文を書いている。1964年にvan Wijngaardenが最初に発見したがあまり広がらず、その後繰り返し再発見されているらしい。当時既に関係者が亡くなっていてそれ以上確かなことは分かりそうにないとも。 https://t.co/N7vRonbWIU
1,125 followers
「The discoveries of continuations」 http://t.co/cbvlnezSji
1,718 followers
「The discoveries of continuations」 http://t.co/cbvlnezSji