Kemin | 本博客独立到nakeman.cn

翻译 类型系统

类型系统摘自《Types and Programming Languages 》by Benjamin C. Pierce 刘建文略译（http://blog.csdn.net/keminlau）1.1 Types in Computer Science Modern software engineering recognizes a broad range of form

原创 October 2008

文哥十月在听什么？ 01. 陈奕迅 - [Sound & Sight #11] 打回原形 02. 南拳妈妈 - [优の良曲南搞小孩 (新歌+精选) #03] 下雨天 - 99.cn 03. UN - [Vol.4—Reunion] Paradise 04. 薛之谦 - [薛之谦同名专辑 #02] 认真的雪 05. 风潮唱片 - [Win

翻译 深入剖析Win32可移植可执行文件格式

深入剖析Win32可移植可执行文件格式 原文一：http://msdn.microsoft.com/zh-cn/magazine/bb985992(en-us).aspx 原文二http://msdn.microsoft.com/zh-cn/magazine/cc301808(en-us).aspx 刘建文略译 （http://blog.csd

翻译 IA-32 保护模式内存管理

保护模式内存管理译自Intel的IA-32架构手册第三卷（系统编程）刘建文略译（http://blog.csdn.net/keminlau） KEY：功能 逻辑分层 功能分步 系统 CHAPTER 3 PROTECTED-MODE MEMORY MANAGEMENT 3.1. MEMORY MANAGEMENT OVERVIEW The memory

翻译 星际译王字典文件格式

星际译王字典文件格式Format for StarDict dictionary files原文：http://stardict.sourceforge.net/StarDictFileFormat星际译王主页：http://stardict.sourceforge.net/StarDict on-line dictionary: http://www.stardict.org刘建文略译并整理（h

翻译 数据库管理系统

DATABASE MANAGEMENT SYSTEMSThird EditionRaghu RamakrishnanUniversity ofWisconsinMadison, Wisconsin, USAJohannes GehrkeCornell UniversityIthaca, New York, USAhttp://pages.cs.wisc.edu/~dbbook/index.html

转载 文件数据组织

数据库的基本概念（二） 曾士熊 原文：http://www.ascc.sinica.edu.tw/nl/83/1009/section3_3.html刘建文整理（http://blog.csdn.net/keminlau）本文接第10个卷08期68页二，文件简介 （一）文件结构常见的电脑文件包括：可执行程序文件，批处理文件，文本文件和数据库文

原创 September 2008

01. 石田勝範 - [大奥~第一章~ オリジナルサウンドトラック #04] 04.御殿02. 4[1]03. 石田勝範 - [大奥~第一章~ オリジナルサウンドトラック #01] 01.華のワルツ04. スピッツ - [[蜂蜜與三葉草][Honey&Clover][EP插曲] #09] [Honey&Clover] - 夜を駆ける[EP15]05. 蜂蜜与四叶草[Honey&Clover] -

翻译 调试器工作原理（译）

调试器工作原理《How Debuggers Work》http://www.douban.com/subject/1970421/刘建文略译（http://blog.csdn.net/keminlau） 作者: Jonathan B. Rosenberg 副标题: Algorithms, Data Structures, and Architecture

原创 我的美味书签

翻译 软件工程的基本原则（略译）

Fundamentals of Software Engineering软件工程的基本原则摘自《The Art of Software Architecture: Design Methods and Techniques 》http://as.wiley.com/WileyCDA/WileyTitle/productCd-0471228869.html刘建文略译（http://blog.csdn

原创 情感与自我

ハチミツとクローバー简体中文名: 蜂蜜与四叶草导演: カサヰケンイチ主演: 神谷浩史 / 工藤晴香 / うえだゆうじ / 高橋美佳子 / 杉田智和上映年度: 2005集数: 24官方网站: http://www.hachikuro.net/语言: 日语制片国家/地区: 日本又名: Honey And Clover / 蜂蜜与幸运草imdb链接: tt0478838Yotsuba no Clover

翻译 Windows API 的批判（略译）

 http://www.spinellis.gr/pubs/jrnl/1997-CSI-WinApi/html/win.htmlThis is an HTML rendering of a working paper draft that led to a publication. The publication should always be cited in preference to th

原创 August 2008

01. 隐形的翅膀02. Bernie Taupin; Gustavo Santaolalla - [Brokeback Mountain #10] I Dont Want to Say Goodbye03. SAY LOVe 04. 银英op3 - sea of stars05. Celine Dion - Lets Talk About Love06. Richard Marx - [Gre

翻译 论软件架构

论软件架构An Introduction to Software Architecture摘自CAS 747: Software Architecture and Reverse Engineering Winter 2006BY David Garlan and Mary Shaw刘建文略译（http://blog.csdn.net/keminlau）kemi

翻译 为什么学习MFC前先学习API?(略译)

Why you should learn the API before MFC 为什么学习MFC前先学习API? 原文：http://www.winprog.org/tutorial/apivsmfc.html 刘建文略译 （http://blog.csdn.net/keminlau）The Controversy争论 Too many peop

原创 Realize who you can be!

The Lion King简体中文名: 狮子王导演: 罗伯 明科夫 (Rob Minkoff) / 罗杰 阿勒斯 (Roger Allers)编剧: Irene Mecchi / Jonathan Roberts / 琳达 伍尔沃顿 (Linda Woolverton)制片国家/地区: 美国上映年度: 1994语言: 英语imdb链接: tt0110357King of Pride Rock

原创 July 2008

01. 衛蘭 - [A Melody Looking #01] 愛才  02. 卫兰 - [Do U Know #04] 04.霎眼娇 (香港电台《过渡青春》电视剧主题曲)03. Richard Marx - [Greatest Hits #01] Slipping Away04. Thanks To You05. 卫兰 - [Do U Know #08] 拍错拖06. 卫诗 - [Diamond

转载 （转）《统一价值论》

 内容提要目前的哲学、政治经济学、经济学、价值工程学等在对“价值”的理解上各执一端，本书根据“从能量角度看价值，从价值角度看世界”的基本思路，以自然科学的基本公理为前提，以严谨的逻辑推理和精确的数学运算来研究价值问题、解释价值现象、探索价值规律，推导出“利益最大化法则”和“广义价值规律”，继而推导出一般经济规律、人际交往规律和社会历史规律，实现了价值理论内部体系的逻辑统一、价值理论与自然科学的逻辑

原创 集合与数理逻辑哪个更基础？

 大部分的离散数学图书第一章不是集合论就是数理逻辑，那到底是集合论基础一点还是数理逻辑基础一点？从这个粗略的结构图可以初步看出来，集合与逻辑是两种不同的基础，没有谁比谁更基础的问题。大家工作在不同的维度上。集合与以其为基础派生出来的形成层次结构的各概念是静态的结构概念；逻辑推理则为形成这样的结构提供了逻辑工具--定义、定理和证明。属方法论哲学层面的概念。也就是所谓有工具性学科：工具性的科学是学习其

转载 人类轨迹记录的另类诠释——《智慧学九论》

智慧学九论自序导读 自序    千百年来，无数智者孜孜探索人生，铺就了一条条康庄大道。后人飞驰其间，有的意兴风发，自诩为万物之灵；有的匆匆驶过，不过充塞些流量，遗留些秽物；更有人面对万象，驻足踯躅，徘徊深思，不知何去何从。    道路两旁的景物，时而开阔，时而局促，观之略同，究之又大异其趣。人类文明又何尝不是？千古以降，人智仿佛丛峦叠翠，绵延起伏。今人得以凌风登

原创 June 2008

《 童年往事 》插曲 Something about us...词 ：陈墨荷曲 ： 吴楚楚 演唱 ：蔡琴还记得玩弹珠蹲在庙门边还记得骑新车经过同学面前还记得打瞌睡罚站了半天弹指间都变成遥远的从前为什么春去秋来为什么春去秋来人事也跟着改变人事也跟着改变我的童年我的童年就这样消失不见那时

翻译 (译)为什么要学习人工语言——一阶逻辑

译自《LANGUAGE, PROOF AND LOGIC》 http://www.douban.com/subject/1900408/Why learn an artificial language? This language of frst-order logic is very important. Like Latin, the language is not spoke

原创 我为数学说“公道话”

    前段时间闲逛豆瓣，搜了下有没有其它的数学小组，没想到发现了三大“反”数学小组。进去一看，组员们骂数学时措辞之“犀利”，污辱数学的伎俩之多流可谓让人汗颜，可见其恨数学之情甚深，于是心血来潮写下了以下这一小帖，当一回“和事佬”， 希望能为传播数学知识作一点微薄之力。    我一开始很奇怪帖子发了好几天没有回复，最后好不容易有人回复，说他们也知道数学的重要，只是在这小组发发对数学的牢骚而已。

原创 数学到底有什么用？

本帖内容摘自我在豆瓣上给题为《告诉我 数学到底有啥用?》的问题的回复的内容。转发到这里是因为它引证了我博客的副标题——笔头是新思想的包装。说是新思想可能会不符，但是说是对思想的包装应该没人会有异议。研习数学和语言两个月后，这些内容算是对头脑中的部分感性材料作了重新的组织和逻辑处理（也就是认知论理的概念同化和格局调节），以自己理解的方式用语言表达出来，也可以说是逻辑学所指的感性认识上升为理性

原创 哈尔，那个失心的少年

简体中文名: 哈尔的移动城堡编剧: Diana Wynne Jones / 宫崎骏 (Hayao Miyazaki)导演: 宮崎駿主演: 倍賞千恵子 / 木村拓哉 / 美輪明宏 / 我修院達也 / 神木隆之介上映年度: 2004官方网站: http://www.howl-movie.com/top.html制片国家/地区: 日本语言: 日语又名: Howl no Ugoku Shiroimdb链接

原创 May 2008

01. Alessio Vlad - [Jane Eyre (1996) #01] Jane Eyres Theme02. Alessio Vlad - [Jane Eyre (1996) #02] Janes Infancy03. Alessio Vlad - [Jane Eyre (1996) #03] Helens Theme04. Alessio Vlad - [Jane Eyre

原创 两种笔记——写的与画的（思维导图初用感觉）

很早前就知道思维导图这玩意了。但一直“不会用”，或者说用不上，所以搁下不搭理它好久了。这几天开始“挖”到了形式逻辑，发现阅读过程中有相当多的相关概念光用文字笔记不够用，于是想起这个软件——freemind。用它画了下面这个图，感觉如传闻一样，概念关系清晰明了。在网上查了下思维导图相关的资料，发现原来思维导图已经相当“流行”，并且很多文字都声称思维导图的神奇，什么可以增强立体思维能力、提升思考技巧，

转载 思维和存在二者之间要从对立性转化为同一性？

kemin:今天发现了一个新视点：思维工具的哲学理论？！名词和定义篇一、思维工具思维工具是哲学理论为人们提供的认识工具、分析工具、论证工具和表述工具。它是思维把握存在的基本手段、基本形式和本质特点。为什么哲学要向人们提供思维工具呢？理由很简单，因为思维和存在属性对立，二者是水火不相容的矛盾关系。如果没有思维工具帮助的话，思维和存在之间的矛盾就无法消除。在日常生活中人们直

原创 书是买来藏的，不是读的

书是买来藏的，不是读的发表于：2008年5月5日 0时28分30秒阅读(0)评论(1)本文链接：http://user.qzone.qq.com/5324799/blog/1209918510书是买来藏的，不是读的闲云野鹤  00:05:29 在忙什么 苏菲的世界 00:06:26 睇书 苏菲的世界 00:06:44 苏菲的世界 闲云野鹤  00:07:08 看到哪个哲学家呢 苏菲的世界 00:0

翻译 （译）离散数学Discrete Mathematics James L. Hein

kemin原创翻译，引用注明出处，谢谢。Discrete Mathematics James L. Hein Department of Computer Science Portland State University http://www.amazon.com/Discrete-Mathematics-James-L-Hein/dp/0763722103This book is design

原创 April 2008

01. Boyzone - [The Ultimate Love Songs Collection #01] And I02. Boyzone - [The Ultimate Love Songs Collection #03] Everyday I Love You03. Boyzone - [The Ultimate Love Songs Collection #06] Mystical E

原创 质询（inquiry）CSS？

这两天CSDN的博客改版了，也跟着走上了潮流改成社会性网络服务（Social Networking Services）形式。今天打开自己的博客，看到模板很多内容改了，变得“面目全非”了。没办法，又要得花点时间套回去。由于对CSS的了解不深，再加上现用的自定义样式我也是拿来就用，没深究过，所以套得甚是难过。“苦战”了好一会后，觉得要让死鱼复活不值。于是醒起之前给我留下深刻印象的也是CSDN社区博客的

原创 我看《风柜来的人》

风柜来的人导演: 侯孝贤 (Hsiao-hsien Hou)编剧: 朱天文 (Tien-wen Chu)主演: 钮承泽 / 张世 / 庹宗华 / 林秀玲 / 杨丽音上映年度: 1983制片国家/地区: 台湾又名: The Boys From Fengkuei / All the Youthful Days    什么叫好电影？好电影能给人带来什么？我看电影不多，但慢慢开始觉得好电影不

转载 何为“学术”?

[flash]http://www.56.com/n_v163_/c35_/7_/24_/djo8888zongyi_/sc_119775398729_/2922000_/0_/25243773.swf[/flash] 大师与传统日期：2008-02-24 作者：刘梦溪 来源：文汇报                         ■刘梦溪    一        距今80年前，也就是192

原创 “问题”是什么？

“问题”是什么刘建文略译（http://www.semi-translate.com/blog ）KEY: 问题 科学哲学 方法论 “问题”是什么？“问题”是什么？“问题”不是一个面包，不是一辆汽车，但它确实的存在，有它自己的性质或存在的客观性。我今天把它揪出来研究一下。 先看看《现代汉语词典》的定义： 问题 ①要求回答或解释的题目

转载 21世纪人才观——“培养有艺术气质的理工人才，培养有科学头脑的艺术人才”

http://www.tasie.org.cn/show_detail.asp?sort=27&id=144《中国青年报》评论报道：艺术与科学如何握手[2001-06-04]     《中国青年报》2001年6月4日 陈娉婷    很多人会注意到这样一个现象：在工科实验室里，处处是成堆的设备、仪器。在普通人、搞艺术的人看来，它们杂乱无章、不可亲近，更无美感可言；但在这些科技人员眼里，它们有血有肉

原创 《语言的本质》苏诚忠

《语言的本质》苏诚忠前　言　　语言是一切知识的载体，它渗透到我们生活的方方面面。研究语言不是仅仅记忆一些习俗和规定，更重要的是要懂得它是怎样影响人们大脑，以及每个人在思考问题和学习知识时的极限。科学合理地使用语言是任何先进的文明在世界竞争中必须面对的问题。人类语言的统一也必须是在科学合理的前提下才能够实现的。　　本书是拙著‘从语言学定理推导出的世智语’From the Linguistic L

原创 March 2008

 01. A Beautiful Mind (Piano Instrumental) - Movie Themes - James Horner & Jim Brickman -02. Hiko - [First Embrace #02] A Kiss Unexpected03. Blue - [Guilty #16] The Gift04

原创 由写到“不写”也是一种进步

引子    这篇随笔在我的心里已经酝酿了好一些日子了，一直不动键盘的原因是学习忙和题目所提示的“不写”了。加了引号就知道这是双关语。写作是一种现代人能力的体现，不写怎么可能会是进步呢？且听我细细道来。    记得我的博客是在2004年夏天开的，开了以后发的帖子几乎都是转帖。开了一年左右的时间后才开始零星的写点心情碎语。虽然之后也写过一些简单的生活评论，但是直到去年初（即07初）邂逅初恋后立下感慨，