02.05.2013 Views

圏 論 に よ る プログラミング と 論 理

圏 論 に よ る プログラミング と 論 理

圏 論 に よ る プログラミング と 論 理

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

<strong>と</strong>みなします.<br />

た<strong>と</strong>えば定義域<strong>と</strong>値域が⾃自然数であ<strong>る</strong> 2 変数関数

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!