убивая время...
[Most Recent Entries]
[Calendar View]
[Friends]
Below are the 20 most recent journal entries recorded in
xduckx's LiveJournal:
[ << Previous 20 ]
| Tuesday, May 1st, 2012 | | 1:16 pm |
| | 1:09 pm |
| | Wednesday, April 25th, 2012 | | 11:40 pm |
| | Sunday, April 22nd, 2012 | | 2:33 am |
| | 2:06 am |
| | Sunday, March 18th, 2012 | | 5:57 pm |
| | Friday, December 23rd, 2011 | | 6:00 pm |
| | Friday, December 2nd, 2011 | | 10:59 pm |
Если есть время, если есть желание и возможность – можно заставить полететь хоть газонокосилку | | Friday, May 20th, 2011 | | 10:41 am |
| | Monday, March 14th, 2011 | | 8:31 pm |
| | Tuesday, March 8th, 2011 | | 11:26 pm |
| | Wednesday, February 2nd, 2011 | | 3:16 pm |
| | Saturday, January 1st, 2011 | | 12:23 am |
С новым годом, друзья! Счастья вам и всего хорошего в новом году, пусть он и последующие года будут лучше и лучше. | | Monday, September 27th, 2010 | | 11:51 pm |
| | Wednesday, September 8th, 2010 | | 2:33 am |
| | Wednesday, June 2nd, 2010 | | 10:22 pm |
| | Sunday, April 25th, 2010 | | 2:02 am |
| | Friday, April 2nd, 2010 | | 4:37 pm |
| | Thursday, April 1st, 2010 | | 10:04 pm |
хорошее Я пробывал самостаятельно выучить теорию котегорий, но непонел, почему при построении котегории, где объекты - типы данных, а морфизмы - функции, из варианта типизированного лямбда-исчисления на комбинаторах получается замкнутая симитричная моноидальная катигория (подобно Hilb, где где объекты - канечномерные гильбертовы пространства с обычным тензорным произведением, а морфизмы - линейные операторы), но не декартова, каковой является Set. Это завело меня в тупик, и я начал пить. [...]via alexclear | | Sunday, March 28th, 2010 | | 1:38 am |
|
[ << Previous 20 ]
|