2011/02/14

[facebook digest] Peptic ulcer

  1. 6 degrees, how luxurious!    [2010-12-10 14:05:32 +0000]  [DETAILS MISSING]
  2. I have five kinds of noodles now!    [2010-12-12 14:38:51 +0000]  [DETAILS MISSING]
  3. I am going through Mac Lane's Chapter 5 on Limits (creation, preservation, relations with adjunctions, ...). Again, I can follow the proofs but cannot really see through them. Everything seems to be coincidence...    [2010-12-14 11:31:22 +0000]  [DETAILS MISSING]
  4. So the state monad is the one arising from the currying adjunction!    [2010-12-14 16:05:47 +0000]  [DETAILS MISSING]
  5. 河粉好吃！唯一的小小缺點是膨脹係數很接近零，存放比較佔空間一點點。新買的圓萵苣也很好吃，但膨脹係數負很大，一大盤煮起來剩一小撮。    [2010-12-17 12:36:10 +0000]  [DETAILS MISSING]
  6. Heavy snow...    [2010-12-18 10:35:29 +0000]  [DETAILS MISSING]
  7. scm 老師又要再次變成孤兒了⋯ 系主任剛剛說明年六月一日起 Computing Laboratory 改名為 Department of Computer Science.    [2010-12-19 22:34:17 +0000]  [DETAILS MISSING]
  8. Not more snow...    [2010-12-22 13:29:54 +0000]  [DETAILS MISSING]
  9. Long time no see a sunny day! But I am feeling slightly unwell in my stomach...    [2010-12-25 11:38:47 +0000]  [DETAILS MISSING]
  10. I was too optimistic about my recovery from indigestion and cooked too much this evening...    [2010-12-28 18:11:45 +0000]
    • L************** ⇒ Take care. Hope you will recover before 1 Jan.    [2010-12-28 20:08:12 +0000]
    • Josh Ko ⇒ Actually I need to make a full recovery before 30 Dec! XD
      I'd say it is possible...    [2010-12-28 20:17:04 +0000]
  11. My digestion is now slow and it is hard to move myself with my stomach full...    [2010-12-28 20:32:35 +0000]
  12. I am now mysteriously deprived of all motives for doing virtually anything... annoying.    [2010-12-29 15:02:06 +0000]
    • 王** ⇒ Is that due to ur physical illness? Take good care anyway.    [2010-12-29 15:04:34 +0000]
  13. Stuck at London Paddington. Trains to Oxford are seriously delayed due to... shortage of drivers?!    [2011-01-01 21:57:58 +0000]  [ 1 人說讚！]
  14. Finally on a moving train. It is expected to arrive at Oxford at "twenty past midnight".    [2011-01-01 22:47:13 +0000]
    • L************** ⇒ Drivers' strike.    [2011-01-01 23:37:54 +0000]
  15. Digestion is still slow today but not uncomfortable.    [2011-01-02 17:32:02 +0000]  [ 4 人說讚！]
    • L********* ⇒ Me too :(    [2011-01-03 09:14:38 +0000]
  16. Room in a mess. Should do the cleaning now when I feel okay.    [2011-01-02 17:40:04 +0000]  [ 1 人說讚！]
  17. Bought teabags and sugar to make black tea myself - a little more than 1 litre at a time, refrigerated. So it's ice black tea, to be precise. And then there can be variations, one of the most natural being, of course, ice milk tea. This is going to significantly cut down the budget on drinks.    [2011-01-03 13:57:48 +0000]
  18. Catching a cold while not yet fully recovered from indigestion?!    [2011-01-03 17:07:25 +0000]
    • Josh Ko ⇒ 「這個國家真是夠恐怖的了，只要一踏上多佛海灘，感冒病菌就像天羅地網往你身上一包⋯⋯到目前為止，我遇見的每個人都在感冒。不列顛群島的全部人口好像都只會做一件事，就是從年初病到年尾，擠成一小堆一小堆，拚命對著別人的臉打噴嚏⋯⋯輪流傳染。誰還有活下去的機會？」    [2011-01-03 17:10:56 +0000]
    • L************** ⇒ At least, I haven't got any cold so far. :P    [2011-01-03 17:14:19 +0000]
    • L********* ⇒ Terrible!    [2011-01-04 00:00:57 +0000]
    • 王** ⇒ 要多保重阿    [2011-01-04 04:55:02 +0000]
  19. 蔥花炸醬烏龍麵。 ↦ http://www.facebook.com/photo.php?fbid=155391354513410&set=a.126799950705884.40277.100001276392360    [2011-01-04 12:43:59 +0000]  [ 1 人說讚！]
    • Josh Ko ⇒ A friend helped me get it in Birmingham. I haven't found it in Oxford yet.    [2011-01-06 14:04:13 +0000]
    • 柯** ⇒ 看起來好像蟲喔…不過你竟然還會切蔥，出我意料之外！    [2011-01-11 08:34:33 +0000]
  20. Having no significant symptoms but getting tired very easily.    [2011-01-04 18:38:34 +0000]
  21. Feeling better after eating two apples.    [2011-01-04 21:09:55 +0000]  [ 2 人說讚！]
    • Y********** ⇒ Do you need some drugs? I brough a lot from Taiwan.    [2011-01-04 23:40:51 +0000]
    • Josh Ko ⇒ I have bought some from Boots, and, better, I feel I am close to full recovery now. Still thanks a lot!    [2011-01-05 00:17:14 +0000]
    • 柯** ⇒ 天然的食物永遠是最佳良藥    [2011-01-05 02:26:21 +0000]
    • 王** ⇒ 反而我現在好像中標了QQ    [2011-01-05 13:30:35 +0000]
    • Josh Ko ⇒ 吃蘋果吧 XD。    [2011-01-05 13:31:09 +0000]
  22. Learning how to fill in addresses! ↦ Royal Mail Postal Advice Help and advice for sending items    [2011-01-05 00:42:10 +0000]  [ 1 人說讚！]
    • Josh Ko ⇒ There is no explanation for where to fill in the return address... Rumour has it that it goes to the back of the envelope?    [2011-01-05 00:47:33 +0000]
    • Josh Ko ⇒ The definitive guide: ftp://ftp.royalmail.com/Downloads/public/cmwalk/doc/active/doc13100004/RM_Large_Letter_Mail.pdf    [2011-01-05 00:52:17 +0000]
  23. 晚餐終於恢復正常份量，吃榨菜烏龍麵。（肉絲最小的一盒 250g 沒辦法一次吃完，只好放棄。）飲料喝養樂多（7 罐 65ml 竟然要價 £2.43）和冰奶茶（自製超便宜），待會可以吃個蘋果。 ↦ http://www.facebook.com/photo.php?fbid=155711341148078&set=a.126799950705884.40277.100001276392360    [2011-01-05 18:38:14 +0000]  [ 2 人說讚！]
    • Josh Ko ⇒ 好像也差不多了 XD。    [2011-01-05 20:15:09 +0000]
    • W************ ⇒ 吃的比我一般時候還要多啊 ... !    [2011-01-06 01:48:26 +0000]
  24. The stomachache seems to be persistent, even though it is not as severe as when it began. I will have to see a doctor... a few days later.    [2011-01-08 21:30:46 +0000]
    • T************** ⇒ 你一定是吃到幽門桿菌了    [2011-01-09 01:46:05 +0000]
    • 柯** ⇒ 要注意多洗手    [2011-01-09 02:07:11 +0000]
  25. I met my GP yesterday and he still thought my stomachache problem, though certainly uncomfortable for me, is not severe. He prescribed some stronger medicine and told me to visit him again for some tests in a couple of weeks if it does not get better. This whole business is really disturbing...    [2011-01-12 13:46:27 +0000]
  26. Certificate madness...    [2011-01-12 14:05:33 +0000]  [ 1 人說讚！]
    • S************ ⇒ Sigh... thanks for all the help.    [2011-01-13 00:21:25 +0000]
  27. I feel better today but there is no guarantee that it won't get worse again. The most disturbing effect of this stomachache is that the working pattern I developed before Christmas has been severely disrupted and it will take some effort to rebuild the pattern again.    [2011-01-13 14:29:04 +0000]
    • 柯** ⇒ 放心~~他一定不會再糟的啦！讓我從台灣把秘密的力量傳給你吧！    [2011-01-13 14:34:47 +0000]
    • W************ ⇒ 加油 !    [2011-01-13 15:19:59 +0000]
  28. 原來駐英代表處 7 Jan 有留 voicemail 給我：「柯向上先生您好，這邊是駐英代表處。您幫您的⋯呃⋯學生穆信成寄來一封信要驗證，我們沒辦法直接驗，要請您先找英國外交部驗證。這封信就先退給您，有問題可以再打電話找我們。謝謝。」我把關係欄填錯了⋯？XD    [2011-01-14 14:32:14 +0000]  [ 3 人說讚！]
    • S************ ⇒ XD 好好玩～    [2011-01-14 14:59:14 +0000]
    • L********* ⇒ 學生…嗎？ XD    [2011-01-14 15:44:41 +0000]
    • W************ ⇒ 這 ... XD    [2011-01-14 16:05:32 +0000]
    • 柯** ⇒ 啥？扯！FB怎麼沒有"扯"可以按？    [2011-01-14 16:19:13 +0000]
  29. I still cannot concentrate on my study and my morale is falling rapidly. Last night was yet another terrible, painful night. How can this stomachache problem be so persistent? I must consult the doctor again tomorrow.    [2011-01-16 16:42:30 +0000]
    • 翁** ⇒ 水土不服嗎，好好注意身體吧，需要我們寄台灣的食物給你打牙祭嗎(泡麵一箱)XD    [2011-01-16 16:49:05 +0000]
    • Josh Ko ⇒ 說水土不服也不太像，都三個月了才有症狀出來。我現在這個計畫的上一個學生是因為 "medical reasons" 只念一年沒讀下去，該不會這個位置被詛咒了吧⋯    [2011-01-16 16:53:50 +0000]
    • S************ ⇒ 醫生上次怎麼說呢？真是奇怪...    [2011-01-16 17:07:16 +0000]
    • 施** ⇒ Your mom cares so much about you that she called me and ask me what I can do for you~~(spiritual support I guess XD) How's your situation now?? Do you have a specific diagnosis?? Take care especially when you are in a nation without Taiwan's general health insurance!!    [2011-01-16 17:11:51 +0000]
    • Josh Ko ⇒ 症狀就是一直肚子痛然後沒什麼食慾。聖誕節隔一天去 JR Hospital 急診，醫生開 Gaviscon（非處方藥）和 paracetamol（止痛藥）給我。現在這個醫生開聽說比較強的 Omeprazole capsules 給我（這個是處方藥了），一天一顆 20mg，但吃快一週還是沒有顯著起色。    [2011-01-16 20:37:37 +0000]
    • 王** ⇒ 囧 怎麼會這樣子阿@@ 要多保重壓!!    [2011-01-17 04:24:29 +0000]
    • 柯** ⇒ Dear Josh:要不要做更精密的檢查？雖然在英國沒健保，但別忘了我幫你規劃了很完整的商業保險，所以一切費用不是問題。……代表Josh的爸媽謝謝所有關心Josh 朋友    [2011-01-17 06:29:54 +0000]
    • Y************* ⇒ Are u OK? Hold on it. I will go there to find you soon. Do not drop off school until I go there.    [2011-01-17 08:54:04 +0000]
    • T************** ⇒ 真的不是幽門桿菌嗎    [2011-01-17 13:59:29 +0000]
    • T************** ⇒ 肚子痛 沒有食慾
      http://marvelouspine.blogspot.com/2007/06/black-month-part-two.html    [2011-01-17 14:01:19 +0000]
    • Josh Ko ⇒ @T-S: 驗血驗尿似乎可以判斷是不是幽門桿菌？
      @Y-T: I look forward to your visit! (And I hope I will have recovered then to receive you...)    [2011-01-17 15:44:43 +0000]
    • T************** ⇒ 你可以喝C13 urea 馬上就知道了    [2011-01-17 16:14:07 +0000]
  30. I felt suddenly better this morning but went to see my GP anyway. He took some of my urine and blood for testing and told me to continue with the medication before the results come back next week.    [2011-01-17 12:47:03 +0000]
    • 翁** ⇒ 我竟然看得懂英文了!!!!不過GP是啥意思??    [2011-01-17 12:52:23 +0000]
    • Josh Ko ⇒ General practitioner. 英國這邊醫療第一線的家庭醫師。    [2011-01-17 13:18:36 +0000]
    • S************ ⇒ 希望能有個確定的結果...    [2011-01-17 14:20:28 +0000]
  31. It is possible I underestimated the pressure I experienced, although I do not think there was too much. But I am rather sure I will have a lot of pressure if my study keeps being disrupted by this. Right now I don't have motive for doing almost anything.    [2011-01-17 16:06:19 +0000]
    • C*********** ⇒ Take care and take it easy.

      I think I have a similar problem that I cannot sleep well if I am too stressful , which makes me sleepy next day and makes me even harder to finish my task.

      My suggestion is that having a talk to a positive guy face to face and tell him/her you current concern. It would be better with merely telling your problem to some others.    [2011-01-17 16:45:06 +0000]
    • L************** ⇒ Take care of yourself. If you need anything from Taiwan, please feel free to ask. I will visit you soon after I come back. Don't feel stressed because of medical problems, it only makes things worse.    [2011-01-17 17:37:36 +0000]
  32. Fast recovering, again (meaning it can well get worse again). Evidence: The desire for music comes back.    [2011-01-17 23:33:12 +0000]  [ 3 人說讚！]
    • Josh Ko ⇒ The last time I had iTunes play any music was 6 Jan, which was 11 days ago!    [2011-01-17 23:59:55 +0000]
    • Josh Ko ⇒ However, it is still unknown when I can feel easy enough to start trying to play Polonaise-Fantaisie.    [2011-01-18 00:05:58 +0000]
  33. 我甚至開始重覽中興（草屯）的便當店了！根據我以前的記錄，我特別喜歡吃大芳的炸醬麵 + 豆腐湯、上禾的海鮮燴飯、品昇的大滷麵、皇上皇的燒肉飯，飲料是大苑子的芋頭奶綠。（以上都點超過十次。）現在不很想吃但又有一點食慾，這種時候看這些東西比較舒服 XD。    [2011-01-18 00:45:26 +0000]  [ 7 人說讚！]
    • 翁** ⇒ 應該不止喔XD    [2011-01-18 01:39:29 +0000]
    • 毛* ⇒ 我這都沒大苑子QQ    [2011-01-18 07:56:26 +0000]
    • W************ ⇒ 你猴頭菇絕對破表.... 還有烏龍麵    [2011-01-18 16:06:26 +0000]
    • Josh Ko ⇒ 我覺得反而是糖醋豆排麵吃比較多次耶 XD。
      猴頭菇隔壁的烏龍麵其實沒特別喜歡吃，是因為那廣場上東西太少了 XD。    [2011-01-18 16:27:22 +0000]
    • 翁** ⇒ 我有一陣子中午都買國興排骨.....吃不膩= ="(好可怕    [2011-01-18 16:35:46 +0000]
    • W************ ⇒ 我吃了宏爺的原味蛋餅 吃了快兩個月 快吐了    [2011-01-18 16:36:44 +0000]
    • Josh Ko ⇒ 可以改吃玉米蛋餅⋯ XD    [2011-01-18 16:42:26 +0000]
    • W************ ⇒ 有= = !!!!    [2011-01-18 16:42:53 +0000]
    • 翁** ⇒ 那陣子沒辦法阿!你還在吃素XD    [2011-01-18 16:43:43 +0000]
    • 翁** ⇒ 你可以吃別家的原味蛋餅阿XD    [2011-01-18 16:44:12 +0000]
    • Josh Ko ⇒ 現在開葷了還可以吃培根蛋餅、火腿蛋餅、鮪魚蛋餅⋯ 選擇超多的 XD。    [2011-01-18 16:45:04 +0000]
    • 翁** ⇒ 不是阿~樓上怎都叫人家吃蛋餅阿XD可以吃土司、漢堡、捲餅、口袋堡、貝果吧~~    [2011-01-18 16:48:26 +0000]
    • Josh Ko ⇒ 台灣的早餐店真是太神奇了⋯ XD    [2011-01-18 16:51:42 +0000]
    • 翁** ⇒ 忘了說，還有義大利麵，鍋燒麵，蘿蔔糕，煎餃....等!!你在英國可以吃正統的英式下午茶阿!!很酷耶!    [2011-01-18 16:53:52 +0000]
    • Josh Ko ⇒ 這裡的人感覺上就只愛喝咖啡和啤酒而已⋯ XD    [2011-01-18 16:54:59 +0000]
    • W************ ⇒ 我現在也蠻常很咖啡的..... 台灣早餐真的選擇豐富又多變 哈    [2011-01-18 16:56:25 +0000]
    • 翁** ⇒ 在說下去某人要思鄉了~~~(茶    [2011-01-18 16:58:17 +0000]
    • Josh Ko ⇒ 現在滿足 (i) 平易近人 (ii) 台灣也有 兩個條件的店好像只剩麥當勞吧，而且菜單也比較貧瘠的感覺。（想點個玉米濃湯也沒有！）    [2011-01-18 17:00:24 +0000]
    • W************ ⇒ 我招換你回來 重生吧向上!...(咖啡    [2011-01-18 17:00:42 +0000]
    • Josh Ko ⇒ 思鄉當然是一直在思啊！XD    [2011-01-18 17:01:10 +0000]
    • 翁** ⇒ 自己做早餐吧，我大學有時候會自己買土司+草莓果醬+起司配牛奶+蜂蜜脆片!!超棒的一餐!!    [2011-01-18 17:03:24 +0000]
    • Josh Ko ⇒ 那我得先把堆積的穀類食物清掉才行 XD。
      還是早餐店方便又便宜啊 XD。    [2011-01-18 17:06:31 +0000]
    • 翁** ⇒ 我忽然找到未來的出路了!!去英國開連鎖早餐店?    [2011-01-18 17:12:08 +0000]
    • Josh Ko ⇒ 確實，早餐賣完接著賣飲料，保證賺 XD。    [2011-01-18 17:12:59 +0000]
    • 翁** ⇒ 所以先存加盟金!!美而美+大苑之(英國分店)!!    [2011-01-18 17:24:55 +0000]
  34. I am well enough to continue with realisability! Wonderful!    [2011-01-18 13:09:36 +0000]  [ 2 人說讚！]
    • L********** ⇒ Take care    [2011-01-18 16:35:47 +0000]
  35. If I can comprehend Paulin-Mohring's paper on program extraction before the weekend (and the stomachache does not come back), I will book the music room and play the piano for at least 2 hours, perhaps 4.    [2011-01-18 18:35:26 +0000]
  36. In Paulin-Mohring's paper the definition of the realisability predicate is essentially missing... (In constrast, Bernardy's paper does have a definition but contains very few explanations.)    [2011-01-18 21:48:24 +0000]
    • Josh Ko ⇒ s/constrast/contrast/    [2011-01-18 21:52:25 +0000]
    • L************** ⇒ Btw, I suddenly realize the definition of lawvere theory and they become natural to me now. May I try to explain to you sometime? Interested?    [2011-01-18 21:52:54 +0000]
    • Josh Ko ⇒ Certainly. How about arranging a meeting either in Birmingham or Oxford shortly after you come back?    [2011-01-18 21:54:20 +0000]
    • L************** ⇒ Oxford is definitely more interesting.    [2011-01-18 22:24:17 +0000]
  37. Oh no, the stomachache is coming back slowly...    [2011-01-20 21:08:59 +0000]
    • W************ ⇒ 呃 ...    [2011-01-21 16:52:02 +0000]
  38. Looks cool. I'll go (if no serious stomachache interferes). ↦ Oxford University Computing Laboratory: Galois Theory of Algorithms    [2011-01-21 12:19:54 +0000]  [ 2 人說讚！]
    • S************ ⇒ How is it related to Galois connection?    [2011-01-21 13:22:59 +0000]
    • Josh Ko ⇒ From the keyword "Galois group" I guess it will be more like the classical Galois Theory, which relates Galois groups and field extensions. There is one mapping sending Galois groups to extension fields and another in the opposite direction, and these two mappings form a Galois connection when the Galois groups and the extension fields are ordered by inclusion. That's basically all I remember...    [2011-01-21 14:28:26 +0000]
    • L************** ⇒ Galois groups and the extension fields are ordered by inclusion and reverse inclusion respectively.    [2011-01-25 03:08:24 +0000]
  39. Bernardy's definition now works for me. An intuitive explanation of what it does remains to be found.    [2011-01-21 14:48:45 +0000]
  40. 2012 Olympic Games on a 50 pence coin!
    稽核現金金額時發現拿到一枚 2012 奧運圖案的 50 便士！ ↦ http://www.facebook.com/photo.php?fbid=160348590684353&set=a.126799950705884.40277.100001276392360    [2011-01-22 18:29:45 +0000]  [ 3 人說讚！]
    • Josh Ko ⇒ But I have a vague memory of giving Jeremy a 5-pound note and receiving a pound and a penny back... This can merely be my imagination, however.    [2011-01-22 19:11:47 +0000]
    • Josh Ko ⇒ What I remember vividly is that I was occupied by the desire to get back to NCSL as soon as possible, my stomach seriously aching.    [2011-01-22 19:13:51 +0000]
  41. The relationship between realisability transformation and algebraic ornaments is becoming clearer!    [2011-01-22 20:30:49 +0000]
    • L************** ⇒ Hum? Model and theory?    [2011-01-22 21:43:58 +0000]
    • Josh Ko ⇒ Not sure. I have only explored a little bit of the relationship so far and certainly haven't found a good way to describe it.    [2011-01-22 21:47:36 +0000]
  42. The doctor said the test result was basically normal but seemed to indicate infection somewhere. I am going to take the urea breath test on Friday afternoon. The doctor also took another sample of my urine for two more tests. I hope it's just infection, so antibiotics can eliminate the problem completely! ↦ Urea breath test - Wikipedia, the free encyclopedia    [2011-01-24 11:59:22 +0000]
    • T************** ⇒ 我不是很早就叫你喝了QQ    [2011-01-24 16:14:01 +0000]
    • T************** ⇒ 果然你得了跟我一樣的病XD    [2011-01-24 16:14:36 +0000]
  43. I have again been in a bad condition since Sunday... But I still intend to go to the departmental seminar beginning shortly, the topic being really attractive. After that I can get some medicine from Boots...    [2011-01-25 15:55:43 +0000]
    • A******** ⇒ ：Cause of disease found.    [2011-01-26 04:13:53 +0000]
  44. Serious stomachache even when just writing an email...?!
    寫封信也可以肚子痛成這樣？！    [2011-01-25 20:44:23 +0000]
    • 翁** ⇒ 不是好了嗎= =?    [2011-01-26 00:13:03 +0000]
    • Josh Ko ⇒ 沒完全好，然後又壞了⋯    [2011-01-26 02:12:36 +0000]
    • 翁** ⇒ = ="多保重阿    [2011-01-26 02:15:06 +0000]
    • T************** ⇒ 我還有藥，要不要airmail給你???    [2011-01-26 05:18:01 +0000]
    • Josh Ko ⇒ 可是我已經吃 Omeprazole 兩星期了耶，還有更強的藥？    [2011-01-26 10:21:22 +0000]
    • T************** ⇒ 我的是Lansoprazole    [2011-01-26 11:33:05 +0000]
    • L*********** ⇒ 除了肚痛有其他症狀嗎？    [2011-01-26 14:26:46 +0000]
    • Josh Ko ⇒ 大概就食慾不振吧。    [2011-01-26 14:43:39 +0000]
    • T************** ⇒ 我找到你那時候寫的話了XD──

      別急，慢慢想，心情會穩定下來。
      ...
      總之，即使壞事無可避免，但還是會有很多好事，別太擔心。    [2011-01-26 15:38:24 +0000]
    • Josh Ko ⇒ 我現在挺好奇你那時候怎麼還有辦法看書⋯    [2011-01-26 19:22:07 +0000]
    • T************** ⇒ 還考高微，而且過了XD

      不過高微都是靠你的解答XD    [2011-01-27 05:25:42 +0000]
  45. 唉，作息時間整個亂掉了⋯    [2011-01-26 02:17:41 +0000]  [ 1 人說讚！]
    • A******** ⇒ : 找到病因了.    [2011-01-26 04:12:21 +0000]
    • Josh Ko ⇒ 這是因病而起的！晚上肚疼難睡，久了就睡不著了⋯    [2011-01-26 10:19:39 +0000]
    • L********* ⇒ 這麼久還沒好，有沒有可能是心理影響生理啊！？    [2011-01-26 12:51:46 +0000]
    • Josh Ko ⇒ 也可能是幽門桿菌安居樂業。等進一步檢查嘍⋯    [2011-01-26 14:45:24 +0000]
    • S************ ⇒ 何時才會知道病因呀？:(    [2011-01-26 22:56:24 +0000]
    • Josh Ko ⇒ 希望下週能確定⋯    [2011-01-26 23:11:23 +0000]
    • S************ ⇒ Good luck. :(    [2011-01-27 00:28:23 +0000]
    • C*********** ⇒ Good luck to you. :(    [2011-01-27 19:48:17 +0000]
  46. Aching, not sure whether I should eat something or not. (It is said that PPIs are very effective for reducing abdominal pain, but I am still experiencing constant pain after having taken them for over two weeks. Perhaps I should specifically ask the doctor about this next time.)    [2011-01-26 20:20:57 +0000]
  47. 就時差而言，現在回台灣是挺適合的⋯（但就時機而言就還不那麼恰當。）    [2011-01-26 23:13:54 +0000]
    • 柯** ⇒ 身體健康重於一切    [2011-01-27 06:54:29 +0000]
    • T************** ⇒ 快回來快回來...    [2011-01-27 08:50:26 +0000]
  48. Cut my finger for the first time.    [2011-01-31 22:12:36 +0000]  [ 2 人說讚！]
    • Josh Ko ⇒ But the most serious injury to the finger so far was caused by a (the) cat.    [2011-01-31 22:13:39 +0000]
  49. These two days my stomach gets better again. I don't know whether it is because I turned off the alarm and slept as much as I want (till noon), but I am going to experiment with this "treatment" for a few more days. XD    [2011-02-01 12:32:31 +0000]
    • J******************* ⇒ 多休息吧 真的身體要照顧好阿    [2011-02-01 12:33:34 +0000]
    • T************** ⇒ 我的方法有效吧:)    [2011-02-01 12:52:55 +0000]
    • A*********** ⇒ Take care !!    [2011-02-02 09:31:37 +0000]
  50. Term time seems to go faster than usual. It's Week 3 already...    [2011-02-01 22:33:28 +0000]
    • E******** ⇒ For it's Chinese New Year this week ! How is anything goin on there ? Do you have Taiwanese Union or something like that? for the coming big day?    [2011-02-02 01:07:10 +0000]
    • Josh Ko ⇒ Oh yes, some Taiwanese friends and I are going to have a dinner this evening. The Taiwanese student society also hosted a dinner last Saturday in celebration of the New Year.    [2011-02-02 11:57:28 +0000]
    • E******** ⇒ that's sounds good !!    [2011-02-02 13:03:19 +0000]
  51. 肚子脹痛了一整晚⋯    [2011-02-03 11:10:04 +0000]
    • W************ ⇒ 這 ...    [2011-02-03 12:01:39 +0000]
    • 王** ⇒ 囧 怎麼還是偶爾會這麼不舒服@@    [2011-02-03 12:59:36 +0000]
    • T************** ⇒ 脹？？？應該不會脹才對    [2011-02-03 15:28:45 +0000]
    • Josh Ko ⇒ 除夕夜和一夥人去吃廣東菜，不小心吃太飽了⋯    [2011-02-03 19:04:38 +0000]
  52. My condition suddenly turned miraculously better after I took a nap yesterday afternoon. The pain now happens in the lower part of my abdomen only occasionally and does not last long, and it's the familiar kind of pain I usually experience before I have diarrhea.    [2011-02-05 18:34:32 +0000]
  53. Indeed I just had diarrhea, and I feel even better now!    [2011-02-05 19:44:57 +0000]  [ 4 人說讚！]
  54. Unbelievably, I have been almost (if not fully) normal for three days already. Still I am going to see the doctor later today so the root of the problem (if it still exists) can be eliminated.    [2011-02-07 07:35:50 +0000]
  55. I stayed in Liang-Ting's room in Birmingham last night, because he and I talked about Lawvere theory and realisability for algebraic ornaments for too long and I missed the last train back to Oxford. XD    [2011-02-07 07:38:02 +0000]  [ 1 人說讚！]
  56. Stomachache has gone (so I won't be distracted away from my essay); finger cut has almost gone (so I can play the piano soon); ideas about algebraic realisers (which looks like a good name if this notion works) are emerging. Life seems suddenly a lot brighter!    [2011-02-07 07:42:27 +0000]  [ 1 人說讚！]
    • L********* ⇒ Congrats, everything will be better and better!    [2011-02-07 07:46:34 +0000]
    • S************ ⇒ Hope you've fully recovered!    [2011-02-09 01:21:34 +0000]
  57. 有門牌了！ ↦ http://www.facebook.com/photo.php?fbid=164549073597638&set=a.126799950705884.40277.100001276392360    [2011-02-07 12:31:59 +0000]  [ 9 人說讚！]
    • L********* ⇒ 用瓶子裝起來可能就可以收到吧 XD    [2011-02-07 12:50:28 +0000]
    • 翁** ⇒ 順著洋流漂到英國去~~~瓶中信!    [2011-02-07 12:52:15 +0000]
  58. Struggling to break the circularity...    [2011-02-08 16:00:15 +0000]
  59. To upgrade a function f : List A -> List B to its vector version, it is straightforward to construct : (n : Nat) (xs : Vec A n) -> Vec B (length (f (forget xs))), which ignores the input length and reconstructs the length after f does its job. The problem suddenly seems to be solved. Am I missing the point...?    [2011-02-08 21:33:43 +0000]
    • T*************** ⇒ Does return a type (Vec B m), or a value of that type?    [2011-02-08 23:44:46 +0000]
    • S************ ⇒ It appears that returns a value of type Vec B (length (f (forget xs))), where forget has type Vec A n -> List A.    [2011-02-09 00:40:37 +0000]
    • Josh Ko ⇒ Yes, exactly.    [2011-02-09 07:13:52 +0000]
    • S************ ⇒ I worry about the connection between n and length (f (forget xs)). Is the length of result of f inferable without n? Or is n not lost at all?    [2011-02-09 07:36:18 +0000]
    • Josh Ko ⇒ However n is just the length of xs, so no information is lost?

      Another example is how to derive the plus function in the type of vector append (m : Nat) (xs : Vec A m) (n : Nat) (Vec A n) -> Vec A (m + n). We would use 'length (forget xs ++ forget ys)' as the last index according to the scheme, and indeed length (forget xs ++ forget ys) = length (forget xs) + length (forget ys) = m + n.    [2011-02-09 07:50:38 +0000]
    • T*************** ⇒ Assuming (Vec B k) returns an empty vector of size k, I can see that Josh's definition is fine but then I am confused by the meaning of "upgrade". loses all what have been returned by f.

      If A and B are type variables (as in O'Caml and Haskell) in the signature of f, I guess is OK as f can only (?) diverge or return an empty list. But when B is a type constant (like int or unit), this is no longer true.    [2011-02-09 07:57:12 +0000]
    • Josh Ko ⇒ Oh, I was not aware of the degree of parametricity in f and that was not something I intended. Please regard A and B as some fixed types (say Nat) and imagine there are functions in the context that manipulate A's and B's.    [2011-02-09 08:05:47 +0000]
  60. "The proof that the length of a concatenation is the sum of the lengths of its pieces currently requires us to observe a coincidence, when it should rather be the direct consequence of an ornamental construction." Hmm...    [2011-02-09 09:25:03 +0000]  [ 1 人說讚！]
  61. A slightly hot feeling is occupying my stomach, although it is not making me uncomfortable for now. Well, it is reasonable for the ulcer to come back, I think, since no serious treatment has been done. I'll listen to what the doctor has to say about the tests... on Saturday. (It looks like he's a very busy doctor...)    [2011-02-09 16:41:26 +0000]
    • L************** ⇒ I still can't see your comments even if I use different browsers ...    [2011-02-09 16:57:24 +0000]
  62. Confirmed: The ulcer has come back. Now I have sufficient reason to go to the doctor again.    [2011-02-10 06:14:55 +0000]
    • T************** ⇒ 他們死光後，我還過了兩年肚子才沒有再痛過    [2011-02-10 09:13:56 +0000]
    • Josh Ko ⇒ 那你怎麼知道你好了⋯    [2011-02-10 10:43:04 +0000]
    • T************** ⇒ 因為我的urea test過了 哈哈哈    [2011-02-10 13:09:38 +0000]
    • S************ ⇒ Sigh... good luck.. 還是沒病因嗎？    [2011-02-10 16:26:16 +0000]
    • Josh Ko ⇒ @TS: 可是殺完菌還痛兩年，不會懷疑其實不是細菌造成的？
      @Shin: 要是這星期六再不給我個解釋我就準備翻桌了！（週一預約結果約到週六去⋯）    [2011-02-10 22:19:43 +0000]
    • T************** ⇒ 因為傷口還沒癒合完全，所以會痛    [2011-02-11 08:26:10 +0000]
    • R*********** ⇒ Take care and good luck.    [2011-02-11 11:44:16 +0000]
    • 柯** ⇒ 這次醫生再沒有給個好解釋，可能會把我逼瘋到飛去英國拎你回台灣了…o(>"<)o    [2011-02-11 15:41:21 +0000]
  63. The doctor said the test results are all normal. (So I think no H pylori, in particular.) He prescribed Lansoprazole 30mg daily for six weeks, and will refer me to a specialist after two weeks if I feel it does not work. But he was quite sure this is going to work. Hmm... Indeed my pain is going away, albeit slowly. (I feel okay now, for instance.) I'll try the capsules for two weeks then, and see whether it works.    [2011-02-12 11:01:59 +0000]  [ 8 人說讚！]
  64. 趴在桌上會感覺比較舒服，可是趴在桌上怎麼做事啊！    [2011-02-12 17:57:30 +0000]
    • T************** ⇒ 你可以趴在床上看書    [2011-02-13 00:46:25 +0000]
    • W************ ⇒ 把桌子挖個洞，電腦放裡面 XD    [2011-02-14 02:44:22 +0000]
  65. The cat for whom I was briefly responsible. ↦ 白貓正妹    [2011-02-12 19:26:41 +0000]  [ 4 人說讚！]
    • C************ ⇒ So how many cats have you responsible for so far...haha    [2011-02-13 05:21:38 +0000]
    • S************ ⇒ A beautiful cat! Almost like a doll.    [2011-02-13 06:09:41 +0000]
    • Josh Ko ⇒ @CH: One, and that's one reason I miss her so much..
      @scm: Yes, that's another reason!    [2011-02-13 10:05:18 +0000]
  66. Helped a new friend leaving Oxford sell his digital piano to Liang-Ting @ Birmingham today, and got a small electronic cooker myself.    [2011-02-13 22:20:28 +0000]  [ 2 人說讚！]
    • L************** ⇒ and lots of 義美小泡芙. You are as crazy as me.    [2011-02-13 23:08:29 +0000]
    • Josh Ko ⇒ The decision was logical!    [2011-02-14 08:40:02 +0000]
    • L************** ⇒ Logically crazy.    [2011-02-14 08:52:08 +0000]

--
大出清，因為擷取程式壞了一陣子沒修⋯

Labels:

posted by Josh Ko @ 1:04 pm   0 項意見