$\newcommand{\defeq}{\mathrel{\mathop:}=}$

## 2010/11/21

### [facebook digest] Chopin Nocturne Night

1. 買了一塊塗鴉必備的 clipboard，結果痛失一隻搖搖筆。    [2010-11-06 21:04:54 +0000]
• R********** ⇒ 不懂 XD    [2010-11-07 05:08:27 +0000]
• Josh Ko ⇒ 因為 clipboard 上面有一個插筆的地方但不很牢靠，走著走著筆就消失了⋯    [2010-11-07 08:40:09 +0000]
• R********** ⇒ 聽起來真桑心~    [2010-11-07 08:42:54 +0000]
2. 到目前所有的 pubs 都是 scm 老師帶我去的！    [2010-11-06 21:06:09 +0000]  [ 8 人說讚！]
• S************ ⇒ 帶壞小孩..?    [2010-11-07 08:32:02 +0000]
3. What?! mfp4 is a color laser printer!    [2010-11-06 21:51:32 +0000]
• L********** ⇒ Is it free?    [2010-11-06 23:51:57 +0000]
• Josh Ko ⇒ I think it is..    [2010-11-06 23:55:01 +0000]
• R********** ⇒ It sounds good XD    [2010-11-07 05:08:03 +0000]
4. Mac Lane's notations are simply ingeniously concise...    [2010-11-07 12:46:19 +0000]
5. After another categories class: The demonstrator proved various properties about adjunctions in ways different from mine but at least as natural. Just how were the inventors able to absract the theory to the right degree so it's easy to do reasoning yet the essential meanings are retained intact?    [2010-11-09 13:40:42 +0000]
• Josh Ko ⇒ s/absract/abstract/    [2010-11-09 13:46:53 +0000]
• Josh Ko ⇒ "at least as natural": in fact often more natural.    [2010-11-09 14:13:26 +0000]
• L************** ⇒ any example?    [2010-11-09 15:36:20 +0000]
• Josh Ko ⇒ Constructing the counit and prove its naturality. I constructed it from the natural bijection between homsets, but the demonstrator did the more direct construction from the universality of the unit.    [2010-11-09 15:40:23 +0000]
• L********** ⇒ Not easy stuff, man!    [2010-11-10 01:57:43 +0000]
6. Everybody, read Heyting's Intuitionism: An Introduction! Completely fascinating!    [2010-11-09 21:28:21 +0000]  [ 1 人說讚！]
7. Every time I design a dataflow analysis I swing between a forwards analysis and a backwards one, hesitating which direction I should take.    [2010-11-11 11:17:20 +0000]
• M*********** ⇒ As long as you reach a fixpoint eventually, that's ok.    [2010-11-11 12:33:05 +0000]
8. 現在再看這篇遊記，覺得至少收尾還挺不錯的，是我想要的味道。（前面一些寫景的句子很明顯是向 Durrell 借的句式，也算用得合適。） ↦ Trek through Pure Reason: 屏東四日遊記    [2010-11-11 22:23:20 +0000]
9. 我竟然有點受不了這種新聞了，這次還是 Oxford 的人領導的。BBC 原報導 http://www.bbc.co.uk/news/health-11692799 果然被省去一堆重點，但我這次要去看他本來的 paper。欸，不過雖然才 5 頁，我還是先把我的功課寫完再說吧 XD。
Cohen Kadosh et al., Modulating Neuronal Activity Produces Specific and Long-Lasting Changes in Numerical Competence, Current Biology (2010), doi:10.1016/j.cub.2010.10.007 ↦ 輕微電流刺激大腦 可提高數學能力 | 即時新聞 | 20101105 | 壹蘋果網絡    [2010-11-12 08:33:40 +0000]
• 賴** ⇒ 有用嗎?    [2010-11-12 08:35:35 +0000]
• S************ ⇒ 又想到這個...
http://www.phdcomics.com/comics/archive.php?comicid=1174

以及在英國是談治療的新聞，到台灣講得像在製造天才...

不過研究能做到這樣算是很厲害的哩。    [2010-11-12 11:18:14 +0000]
10. is annoyed by having to do trivial inductions.    [2010-11-12 10:52:05 +0000]
• S************ ⇒ auto!    [2010-11-12 11:08:26 +0000]
• Josh Ko ⇒ If only I can write "trivial" on my homework. XD    [2010-11-12 11:09:30 +0000]
• L********** ⇒ Indeed you can. This thing doesn't count anyways.    [2010-11-12 22:13:07 +0000]
11. Another homework is not more interesting either, doing natural deductions and simple type inference...    [2010-11-12 11:11:20 +0000]
12. It seems to me that intuitionistic mathematics is more honest, not saying P is proved when only 'not P' is proved impossible.    [2010-11-12 21:19:59 +0000]  [ 1 人說讚！]
• Josh Ko ⇒ And the embedding of classical logic into intuitionistic logic is merely making the classical theorems speak more modestly about what they really have proved.    [2010-11-13 00:39:03 +0000]
13. just had a really nice lunch and afternoon tea with Frank and his friends (and laid his hand on raw ingredients for the first time).    [2010-11-13 17:14:24 +0000]
14. More inductions to do...    [2010-11-13 19:05:53 +0000]
• Josh Ko ⇒ I've already dismissed several inductions with hand-waving, but there are still more!    [2010-11-13 19:06:45 +0000]
• L********** ⇒ A "Trivially true" will do the whole thing, mate.    [2010-11-14 14:08:55 +0000]
15. 真的是 induction 做到反胃⋯    [2010-11-13 20:34:40 +0000]  [ 1 人說讚！]
16. The last if-and-only-if, in which the only-if direction will be the last induction. The if direction will be a simple argument via term algebra. I'll leave the writing to tomorrow. = =    [2010-11-13 21:09:04 +0000]  [ 1 人說讚！]
17. just started outlining his essay on Intuitionistic Type Theory and dependently-typed programming, which is to be submitted in the next term and will form a part of his transfer dissertation.    [2010-11-14 01:35:20 +0000]  [ 1 人說讚！]
18. -1 degree Celsius...    [2010-11-15 09:38:16 +0000]
• L************** ⇒ -2 degree in Birmingham.    [2010-11-15 09:59:31 +0000]
• Josh Ko ⇒ You're not still wearing short-sleeved T-shirts running around, are you? XD    [2010-11-15 10:14:42 +0000]
• L************** ⇒ I did this morning when looking for food around the accommodation.    [2010-11-15 10:21:03 +0000]
• C************ ⇒ not big deal!!you gotta get used to it!!    [2010-11-15 15:43:23 +0000]
19. We are now allowed to submit our term report to the Graduate Supervision System. Time for a confession? XD    [2010-11-15 10:17:31 +0000]
20. has booked return tickets to Glasgow (which took him almost two hours).    [2010-11-15 21:39:34 +0000]
21. Now that I am going to have a railcard shortly, perhaps it's time that I plan to pay a visit to Birmingham? XD    [2010-11-15 22:06:11 +0000]
• L************** ⇒ Welcome :-)    [2010-11-15 23:02:01 +0000]
22. Arrgh, I seem to have booked tickets that are way too expensive...    [2010-11-15 23:03:03 +0000]
23. cancelled the terribly expensive tickets by phone. It was basically smooth, except when the man on the other side had to repeat "Am I speaking to the cardholder?" for three times and really slowly for the third time before I could comprehend him.    [2010-11-16 08:54:32 +0000]
• P************* ⇒ is he Indian?    [2010-11-16 12:19:42 +0000]
• Josh Ko ⇒ Not sure..    [2010-11-16 14:13:49 +0000]
24. Categories 助教今天做起 natural deductions（由上往下）顯得心虛很多，和之前虎虎生風地畫 commutative diagrams 完全不同。果然是隔行如隔山⋯    [2010-11-16 19:09:44 +0000]  [ 3 人說讚！]
25. 下午牛津大霧，街景頓時成了印象畫。    [2010-11-16 19:11:44 +0000]  [ 11 人說讚！]
• 賴** ⇒ 照片^^    [2010-11-17 00:21:25 +0000]
• Josh Ko ⇒ 那時相機不在手上⋯ XD    [2010-11-17 11:17:03 +0000]
• 賴** ⇒ ><...    [2010-11-17 13:43:08 +0000]
• C************ ⇒ 明年去看皇室婚禮了啊!    [2010-11-18 14:40:23 +0000]
• F************ ⇒ 賴師傅,當然沒照片啊! 因為枕頭二哥就是畫中的人物 (無誤    [2010-11-18 15:02:45 +0000]
• 賴** ⇒ 枕頭不是賤女人嗎?    [2010-11-18 16:15:45 +0000]
26. How do the philosophers write their proposals for funding?    [2010-11-17 13:01:48 +0000]  [ 1 人說讚！]
• T*************** ⇒ It may depend on how the proposals will be judged. :-)    [2010-11-18 01:25:54 +0000]
27. Such fragmented sentence... "[...] classical mathematics, while containing, in distorted form, much of value, is, nevertheless, as it stands unintelligible."    [2010-11-17 16:26:21 +0000]
• S************ ⇒ Gees.. where is it from?    [2010-11-17 16:43:13 +0000]
• Josh Ko ⇒ Dummett's Elements of Intuitionism. It's actually a good book. And this sentence in its entirety does not criticise classical mathematics, but describes the "negative thesis" intuitionistic mathematics proposes.    [2010-11-17 18:25:38 +0000]
28. Got my 16-25 railcard today (which was applied for the day before yesterday). Also my desk lamp ordered more than a month ago is finally coming this Thursday.    [2010-11-17 19:25:39 +0000]
• F************ ⇒ don't tell me you ordered the lamp from Taiwan...    [2010-11-18 15:01:50 +0000]
• Josh Ko ⇒ If I had ordered it from Taiwan it would have been faster. XD    [2010-11-18 16:24:10 +0000]
• F************ ⇒ What the... which contry's quality is so goods that makes you wait for one month...    [2010-11-18 16:34:11 +0000]
• Josh Ko ⇒ UK. XD    [2010-11-18 16:37:17 +0000]
• F************ ⇒ .............................................    [2010-11-19 14:01:02 +0000]
29. I have my first paragraph! But I highly suspect it will undergo a lot more transformations. XD    [2010-11-17 21:17:15 +0000]
• Josh Ko ⇒ This paragraph takes me three days. XD    [2010-11-17 21:43:42 +0000]
• C************ ⇒ you got three more years. take your time. haha    [2010-11-18 14:37:36 +0000]
• Josh Ko ⇒ I've got a lot more to do other than writing! XD    [2010-11-18 19:04:36 +0000]
30. met some undergraduate who happens to be an organiser of the Chopin Nocturne Night on Saturday. And she invited me to play! Not sure whether I'll be able to do it, though. I need to practice a bit to know whether it's possible. :P    [2010-11-18 13:06:31 +0000]
• 王** ⇒ I suppose you would spell as "practise".    [2010-11-18 13:57:47 +0000]
• Josh Ko ⇒ I haven't get used to that spelling yet. XD    [2010-11-18 16:50:48 +0000]
31. Chopin Nocturne Night at Univ: I am thinking about doing Op 48 No 1, but it could be too hard since I have only two days for practicing. A backup plan is Op posth in C minor, which is not exactly a backup since I've never played it before, but the technical level required looks more reasonable.    [2010-11-18 17:41:17 +0000]
• Josh Ko ⇒ Meanwhile I need to get my homework done...    [2010-11-18 17:44:29 +0000]
• Josh Ko ⇒ Now I think Op posth in C minor is more possible. Op 48 No 1 is just too technically demanding.    [2010-11-18 17:57:13 +0000]
32. 決定了，是夜曲 Op posth in C minor, 彈起來有「揀盡寒枝不肯棲」那種孤寂但堅決的味道，只要記得彈得高貴寂涼但不傷感的話，應該就不會有太大問題了。至於 Op 48 No 1 實在不太可能在這麼短的時間端出來，無論技巧和情感都是。    [2010-11-18 22:10:30 +0000]  [ 3 人說讚！]
33. I have only one hour, 8 - 9 tomorrow morning, to practice, which means my time spent properly on the Nocturne is upper bounded by 5 hours. And now one of the organisers mentioned dress code... This concert does not seem so informal as it was advertised to me.    [2010-11-19 17:35:45 +0000]
34. 就知道一定要聽一下錄音。一如往常，如果我照自己在想的速度彈，旁人聽起來都會太慢。但是只剩一小時練習時間，來得及調整完畢嗎？來不及也沒辦法 XD。    [2010-11-19 18:31:23 +0000]  [ 2 人說讚！]
• F********* ⇒ Josh:

你可以做得到的! 我室友/同學/朋友/會組成Josh粉絲團,明天到University College幫你加油! 平常心,去享受這一切! 我相信你明天的演出會很精彩!    [2010-11-19 21:15:35 +0000]
• 賴** ⇒ 向上水喔!!!!.......向上回來跟我一起 演奏中國曲風^^    [2010-11-20 01:16:44 +0000]
35. 聽了一小時半錄音（還剩二十分鐘）的修正意見：力求流暢，左手避免過強，容易出錯的句子稍微小心（不能太小心，不然鐵定出錯），剩下的問題像表情出不來句子修不美踏瓣抓不準就只能歸咎於時間不夠了。    [2010-11-19 22:08:01 +0000]  [ 2 人說讚！]
• 柯** ⇒ 有沒有人幫你錄影呢？    [2010-11-20 16:38:55 +0000]
• Josh Ko ⇒ 不知。    [2010-11-20 16:44:00 +0000]
• 柯** ⇒ 問問看~把影像po上來吧    [2010-11-21 05:32:56 +0000]
36. 練完了，彈得不太差的機率大概 60% 吧 XD。    [2010-11-20 09:04:08 +0000]  [ 4 人說讚！]
37. 作業寫不下去，只好繼續寫 Type Theory。    [2010-11-20 16:52:50 +0000]
38. 我想我的演出算掉在那 60% 裡吧，錯誤都不大，Hall 裡的鋼琴音色又比 music room 裡的好控制很多。不過結論還是我沒辦法當專業演出者 XD。    [2010-11-20 21:29:07 +0000]  [ 2 人說讚！]
• 柯** ⇒ Fu>Result，在自己人生中多留一道體驗和感覺比結果是如何重要    [2010-11-21 06:00:44 +0000]
39. Blog 就留到睡醒再寫吧。或許還得等作業寫完再寫⋯？    [2010-11-21 00:09:44 +0000]
• R********** ⇒ 等到你有心情再寫。    [2010-11-21 02:08:58 +0000]

Labels: