2011/08/31

[facebook digest] Transfer dissertation and DTP'11

  1. Migrating to lhs2TeX for formatting my Agda code in documents.    [2011-07-31 23:46:28 +0100]
    • J************* ⇒ Hurrah!    [2011-08-01 10:31:39 +0100]
  2. All of a sudden, the first ever and only cat that was once in my keeping for a few months is dying in a pet hospital back in Taiwan.    [2011-08-01 10:12:49 +0100]
    • Josh Ko ⇒ "Men have forgotten this truth," said the fox. "But you must not forget it. You become responsible, forever, for what you have tamed. You are responsible for your rose..."    [2011-08-01 10:20:07 +0100]
    • J************* ⇒ Sorry to hear this, Josh.    [2011-08-01 10:28:44 +0100]
    • J************* ⇒ But you're right - tamed or not, you don't own a cat, you merely look after it.    [2011-08-01 10:30:17 +0100]
  3. It turned out that I didn't get the Dutch vector ornament right. Fusing the ornament with itself produces an ornamented list type that has 4 cons constructors instead of 3!    [2011-08-01 11:16:27 +0100]
  4. Jackie has decided to finish his dissertation in 14 days, i.e., on 14 Aug. In the next two weeks I'll be with him in the lab to make sure he does not visit YouTube during work time. (As for me, I will also attempt to finish my transfer dissertation. I've just decided not to include the Dutch National Flag problem in the transfer dissertation, so it might take only a week.)    [2011-08-01 19:21:22 +0100]  [ 4 人說讚！]
  5. Jackie's determination to finish his thesis in 13 days! ↦ Comeback Victory of Oxford Doctoral Thesis!    [2011-08-01 22:02:16 +0100]  [ 1 人說讚！]
  6. Moving to Marlborough Road on Thursday.    [2011-08-02 08:28:02 +0100]  [ 1 人說讚！]
  7. Beginning the dissertation by quoting Dijkstra looks thrilling.    [2011-08-02 10:04:29 +0100]
  8. Could it be that weakest precondition and strongest postcondition are adjoint?    [2011-08-02 11:03:13 +0100]
    • J************* ⇒ Sounds plausible!    [2011-08-02 18:04:50 +0100]
  9. So it seems I will still write about the Dutch National Flag problem in the transfer dissertation, but not in full detail.    [2011-08-02 11:27:12 +0100]
    • Josh Ko ⇒ Just to illustrate what I mean by "programs also serving as proofs."    [2011-08-02 13:25:49 +0100]
  10. Hot weather is making me reluctant to do the packing..    [2011-08-03 16:10:52 +0100]
    • 洪** ⇒ 台北也熱翻了！    [2011-08-03 16:33:55 +0100]
    • W********** ⇒ lol no worries. No summertime anymore XD    [2011-08-04 13:26:57 +0100]
  11. Now I have a concrete plan for my dissertation (see below).    [2011-08-03 23:45:04 +0100]
    • Josh Ko ⇒ The first paragraph quotes Dijkstra and introduces DTP; then comes a section on DTP in Agda (adapting the material from the appendix of the WGP paper and simple examples in the essay), after which the solution to the Dutch National Flag problem is presented in ordinary DTP terms without mentioning ornaments; finally contrast externalism and internalism, point out the reusability problem of internalism, and state the initial result recorded in the WGP paper. The thesis proposal follows naturally. Will refer the examiners to the appropriate parts of the essay and the WGP paper, which will be attached as appendices.    [2011-08-03 23:45:33 +0100]
  12. Just carried all my belongings from the third floor down to the ground floor, now waiting for Duen-Wei, who kindly agreed to help by taking me to the new accommodation by car, to show up.    [2011-08-04 08:30:44 +0100]
  13. 所以要搞應用才回得了台大嗎…？唉，算了，先弄完 transfer 吧。    [2011-08-04 09:47:20 +0100]  [ 2 人說讚！]
    • L************** ⇒ ？    [2011-08-04 09:48:25 +0100]
    • T************* ⇒ @@    [2011-08-04 12:11:41 +0100]
    • Josh Ko ⇒ 小惇學長幫我載東西到新家，提到 scm 老師 2006 年把 CV 傳給陳文進老師看，後者說這種完全純理論的台大應該很難接受，大概只有中研院會收吧。（結果果然跑到中研院？）欸，反正還久嘛，先享受再說⋯    [2011-08-04 14:13:03 +0100]
    • 柯** ⇒ 做自己愛做的吧！    [2011-08-04 15:43:45 +0100]
    • L************** ⇒ Josh Ko 可能要在國外闖出個名堂來，才能回去「降級」（薪水變少，研究環境較差，外出交流不便） ...    [2011-08-04 15:53:37 +0100]
    • S************ ⇒ 啊，都忘了有這回事。
      實在感謝小惇一直很關心大家哩..    [2011-08-04 16:33:33 +0100]
    • 柯** ⇒ 醬的話，就不用回來丫~留在英國就好了…只是胃不知道願不願意配合就是了    [2011-08-05 14:51:38 +0100]
  14. I cannot fit even the most basic version of the declaration of the Dutch vectors into the page..    [2011-08-04 16:50:20 +0100]
  15. Cannot believe they can perform Tchaikovsky's Piano Converting No 1 so badly! I was really reluctant to clap after it was over!    [2011-08-04 21:00:36 +0100]  [ 1 人說讚！]
    • Josh Ko ⇒ s/Converting/Concerto/    [2011-08-04 23:24:08 +0100]
    • L************** ⇒ Why clap if you don't like it?    [2011-08-05 00:09:40 +0100]
  16. The house is now online!    [2011-08-05 11:40:41 +0100]  [ 1 人說讚！]
  17. Now extremely seriously considering renting a Steinway grand piano (for £75 per month)!!!    [2011-08-05 22:49:07 +0100]  [ 1 人說讚！]
    • Josh Ko ⇒ Unfortunately the piano was already rented. And on second thought, perhaps the living room is still just too small to accommodate a grand piano..    [2011-08-06 00:29:57 +0100]
    • Josh Ko ⇒ Lots of information to absorb: http://www.robertspianos.com/    [2011-08-06 00:30:19 +0100]
  18. Sigh, I think the top priority is not to annoy our neighbours. That probably means I shouldn't consider a grand piano at all.    [2011-08-06 01:24:24 +0100]
  19. Renting a piano for two years costs 72% of its price, while pianos sold by Roberts Pianos below £9,000 is now 15% off. It seems buying one and then selling it might be a cheaper option... (Gosh!)    [2011-08-06 09:22:06 +0100]
  20. The pricing is attractive, at only £58 per month. ↦ Roberts Pianos - Oxford - Portsmouth - London | Piano Details    [2011-08-06 10:28:03 +0100]  [ 1 人說讚！]
  21. I've started to imagine that I can give one or two home recitals during the next two years. XD    [2011-08-06 10:39:12 +0100]  [ 1 人說讚！]
  22. The landlord brought the gardener here at about 1.30 and we asked him what he thought about renting a piano. He said "please do," a straightforward positive answer I had not really expected! Pan and I will depart for Roberts Piano at 2.30, and Eric will join us after 3.00.    [2011-08-06 13:44:40 +0100]
    • Josh Ko ⇒ s/Roberts Piano/Roberts Pianos/    [2011-08-06 13:51:00 +0100]
  23. Hm.. If I really manage to give a home recital, I might have to give two (or more) performances of the same repertoire for different circles of friends (e.g., one for departmental friends and another for Taiwanese friends), as the living room is not big and cannot accommodate all of them at once. (It's certainly too premature to plan this, of course. XD)    [2011-08-06 13:50:05 +0100]  [ 3 人說讚！]
  24. The piano I rented. Full story to be posted later.. (Hungry..) ↦ Roberts Pianos - Oxford - Portsmouth - London | Piano Details    [2011-08-06 18:15:42 +0100]  [ 1 人說讚！]
  25. Repertoire for the first home recital: I think it will definitely include some selected nocturnes and mazurkas!    [2011-08-06 21:34:00 +0100]
  26. "Harry took the wand. He felt a sudden warmth in his fingers. He raised the wand above his head, brought it swishing down through the dusty air and a stream of red and gold sparks shot from the end like a firework, throwing dancing spots of light on to the walls."    [2011-08-06 23:02:54 +0100]  [ 1 人說讚！]
  27. 超 Q 的⋯ ↦ 『君達に最新情報を公開しよう コトブキヤ D-スタイル 勇者王ガオガイガーご紹介 【でじたみん】』    [2011-08-07 11:40:49 +0100]  [ 2 人說讚！]
    • L********** ⇒ Looks cool! How much?    [2011-08-07 18:33:47 +0100]
    • Josh Ko ⇒ Much less expensive than I had expected..
      http://goods.ruten.com.tw/item/show?21107218693617    [2011-08-07 19:22:14 +0100]
  28. The Dutch National Flag problem may occupy more pages than I expected..    [2011-08-07 21:15:08 +0100]
    • Josh Ko ⇒ Well, the transfer dissertation will look more solid, which is not a bad thing..    [2011-08-07 21:16:28 +0100]
  29. 我在中興新村養過的貓情況緊急，需要輸血⋯ 有可能的話請幫忙！ ↦ 維康動物醫院: 與我們聯繫/交通資訊    [2011-08-08 07:32:07 +0100]
  30. I'll try to finish the first complete draft of the dissertation in three working days.    [2011-08-08 08:46:35 +0100]
  31. Hm, I have decided the programme for the first home recital and just produced a draft of the programme sheet.. (The power of procrastination. XD)    [2011-08-08 23:17:30 +0100]
  32. The Knight piano will arrive at 8 am on Friday!    [2011-08-09 10:47:51 +0100]
    • Josh Ko ⇒ Or even slightly earlier on the same day!    [2011-08-09 11:28:36 +0100]
    • Y*********** ⇒ I can't wait...... Hope our door is big enough : )    [2011-08-09 12:23:21 +0100]
  33. And we received email saying that "there is a strong likelihood of trouble in Oxford city centre this evening".. ↦ Oxford violence as unrest spreads    [2011-08-09 17:37:06 +0100]
    • W********* ⇒ Take care of yourself!    [2011-08-09 17:40:56 +0100]
  34. From the Thames Valley Police Twitter: "Despite rumours there aren't any problems in Oxford."    [2011-08-09 19:51:21 +0100]
    • J********** ⇒ Does that mean i can now go ahead and buy the zinger from kfc @ cornmarket?    [2011-08-09 19:58:33 +0100]
    • Josh Ko ⇒ There aren't any problems.. yet. XD    [2011-08-09 20:08:47 +0100]
  35. Indeed, this will be the first time that I gain constant, everyday access to a piano since I went to university and "systematically" fell in love with Chopin. It's just natural to get excited!    [2011-08-09 20:13:53 +0100]  [ 1 人說讚！]
  36. I think 25 minutes is a good estimate of the time needed to get to the lab from my new home.    [2011-08-10 08:22:26 +0100]  [ 1 人說讚！]
    • L********* ⇒ Walking?    [2011-08-10 12:03:19 +0100]
    • Josh Ko ⇒ Yes.    [2011-08-10 13:24:58 +0100]
  37. I have basically the texts for the Dutch National Flag problem. Now I am reading the TikZ tutorial to draw some illustrative pictures.    [2011-08-10 11:02:48 +0100]  [ 1 人說讚！]
    • L******* ⇒ Josh, is the area you stay in affected by the riots? Take good care of yourself!    [2011-08-10 11:37:52 +0100]
    • Josh Ko ⇒ No, Oxford is still as peaceful as usual. Thanks!    [2011-08-10 13:25:57 +0100]
    • W********* ⇒ 天呀 你什麼時候偷偷加了皮卡! XD    [2011-08-10 13:43:38 +0100]
    • Josh Ko ⇒ 是 Peacock 加我的！XD    [2011-08-10 13:47:54 +0100]
  38. The red case for the Dutch National Flag problem (drawn with TikZ). ↦ Wall Photos    [2011-08-10 14:24:23 +0100]
  39. Now arrive at the last paragraph, which will briefly state the reusability problem and the initial result of the WGP paper. Expecting to send an email to Jeremy tomorrow!    [2011-08-10 20:18:55 +0100]
  40. Dijkstra's sad remark on p202 of A Discipline of Programming (see below).    [2011-08-10 20:50:49 +0100]
    • Josh Ko ⇒ "Sad remark. Since then we have witnessed the proliferation of baroque, ill-defined and, therefore, unstable software systems. Instead of working with a formal tool, which their task requires, many programmers now live in a limbo of folklore, in a vague and slippery world, in which they are never quite sure what the system will do to their programs. Under such regretful circumstances the whole notion of a correct program — let alone a program that has been proved to be correct — becomes void. What the proliferation of such systems has done to the morale of the computing community is more than I can describe. (End of sad remark.)"    [2011-08-10 20:50:53 +0100]
  41. Dijkstra on abstract machines vs. physical machines and computing science vs. computer science, from p201 of A Discipline of Programming.    [2011-08-11 07:48:56 +0100]
    • Josh Ko ⇒ Eventually, there are two "machines". On the one hand there is the physical machine that is installed in the computer room, can go wrong, requires power, air conditioning, and maintenance and is shown to visitors. On the other hand there is the abstract machine as defined in the manual, the "thinkable" machine for which the programmer programs and with respect to which the question of program correctness is settled.

      Originally I viewed it as the function of the abstract machine to provide a truthful picture of the physical reality. Later, however, I learned to consider the abstract machine as the "true" one, because that is the only one we can "think"; it is the physical machine's purpose to supply "a working model", a (hopefully!) sufficiently accurate physical simulation of the true, abstract machine.

      This change in attitude was accompanied by a change in terminology: instead of "computer science" the term "computing science" came into use and we no longer gave courses in "Programming for Electronic Computers" — we could not care less whether the physical machine worked electronically, pneumatically or by magic! But it was of course more than a mere play with words; it was the symptom that slowly the programming profession was becoming of age. It used to be the program's purpose to instruct our computers; it became the computer's purpose to execute our programs.    [2011-08-11 07:49:02 +0100]
    • Josh Ko ⇒ It's perhaps part of the reason that I am reluctant to approach parallel or distributed programming — I see no urgent need to move to this paradigm except to instruct the newly built machines, which shouldn't be the main driving force of the studies of computing! (You would be right if you call me an extremist.)    [2011-08-11 07:59:00 +0100]
    • Josh Ko ⇒ Natural scientists, however, do not have this luxury to shift the emphasis from the "reality" to the model.    [2011-08-11 08:04:57 +0100]
    • Josh Ko ⇒ Still, we are modelling (capturing) our intuition about computations using abstract machines, i.e., formal systems. In this respect, the critique made by empiricists should not be forgotten — we should not forget that formal notations must ultimately reflect our intuition, instead of becoming merely games of symbols.    [2011-08-11 08:14:16 +0100]
    • J************* ⇒ Natural science is the study of pre-existing physical systems in order to understand them; natural scientists don't build the systems they study, and they don't have the luxury of designing those systems to have desirable properties. If you think the objects of CS study are pre-ordained physical systems over whose design we have no influence, then perhaps "computer science" is the right term. But if you believe that we're in the business of designing our objects of study in the first place, then perhaps natural science isn't a good comparator, and "computer science" not the right term.    [2011-08-11 11:13:17 +0100]
  42. Indeed I need to write about the Dutch National Flag problem — now I have a bit more justification for the hypothetical "canonical upgrade" section.    [2011-08-11 09:06:30 +0100]
  43. Now I have all the contents of the dissertation. Will do formatting and revision in the afternoon.    [2011-08-11 11:53:14 +0100]  [ 1 人說讚！]
  44. Transfer dissertation sent to Jeremy!    [2011-08-11 17:44:05 +0100]
  45. Finishing writing the dissertation on the day before the piano arrives - perfect timing!    [2011-08-11 18:13:17 +0100]
  46. The Knight piano arrived at 8 am! Quite sure it's the same piano after a bit of initial testing. The stool was forgotten, however. Will take photos after the stool is delivered.    [2011-08-12 08:26:24 +0100]  [ 1 人說讚！]
  47. Is playing the piano at 9 am acceptable..?    [2011-08-12 08:35:29 +0100]
    • Y*********** ⇒ You can play Chopin in the morning and leave Beethoven in the afternoon : )    [2011-08-12 09:19:44 +0100]
  48. 這架騎士鋼琴錄起來的音色和家裡的滿接近的。
    挑戰三天練成 Schubert's impromptu D 899 No 3?    [2011-08-12 11:16:25 +0100]
    • Josh Ko ⇒ 突然忘記，周六日要去 lab 啦 XD。    [2011-08-12 11:20:37 +0100]
    • J********** ⇒ 辛苦你ㄌ!    [2011-08-12 11:39:48 +0100]
  49. Schubert 的這首 Impromptu No 3 in G-flat major, D 899 有種神祕但是很平靜的柔光。    [2011-08-12 20:10:48 +0100]  [ 2 人說讚！]
    • T************** ⇒ 就是那首很像紅磨坊那首xd    [2011-08-20 05:58:32 +0100]
  50. (Okasaki's Exercise 3.1) We can instead prove its converse: A leftist tree with a right spine of length n has at least 2^n - 1 elements. This can be proved by a simple induction on n.    [2011-08-14 11:04:15 +0100]
  51. Got an email response to the WGP paper, which was classified as junk mail and I was not notified of its existence until this morning. I got a follow-up message on Friday from one of the other receivers and was confused then. Now trying to work out a proper response..    [2011-08-15 08:07:23 +0100]  [ 1 人說讚！]
    • 陳** ⇒ 有發現就好，沒發現的話就囧了XD    [2011-08-15 09:02:55 +0100]
  52. Got my own copy of A Discipline of Programming!    [2011-08-15 21:51:50 +0100]  [ 3 人說讚！]
  53. The stool will be delivered some time between 1.30 and 2.00! Will take some photos after that.    [2011-08-16 12:41:53 +0100]
  54. 騎士鋼琴的音色超適合彈德布西⋯    [2011-08-16 19:35:03 +0100]  [ 2 人說讚！]
  55. Learned some basic accounting (after leaving the Department of Accounting for more than a year!). The idea is basically data refinement (assigning different meanings ("accounting subjects") to money so flows between subjects can be traced and each subject can be individually managed, etc.), and thus might be better explained in the category-theoretical language! (I'll leave this as a low-priority future work, however. XD)    [2011-08-17 10:48:09 +0100]
    • Josh Ko ⇒ The typical symptom of viewing every problem as a nail when you have a hammer? XD    [2011-08-17 10:57:18 +0100]
    • W********* ⇒ 猴子夠多的話 什麼都能看成莎士比亞    [2011-08-17 13:51:54 +0100]
  56. I had regarded "Programming Languages meets Program Verification" as grammatically incorrect, until I suddenly realised today that "Programming Languages" should perhaps be considered as the name for the research area (so it means that two areas meet each other, instead of that a bunch of programming languages meet the area Program Verification).    [2011-08-18 10:56:04 +0100]
  57. Don't forget this: "In fact, I think contemporary society is all mixed up in its concept of 'boredom': People often say to each other that they are bored, but to me this is almost a shocking, shameful admission. Why should it be somebody else's duty to entertain us? People who can't find anything of interest in what they are doing, who constantly need external sources of stimulation and amusement, are missing most of life's pleasures." - D.E. Knuth, Digital Typography    [2011-08-20 07:36:40 +0100]  [ 4 人說讚！]
    • L*********** ⇒ oh, true, but i feel it's hard    [2011-08-20 10:19:01 +0100]
    • Josh Ko ⇒ As I always tell myself: No one says it's easy.. XD    [2011-08-20 11:23:46 +0100]
    • L*********** ⇒ yeah, i shall try harder... XD    [2011-08-20 11:26:54 +0100]
  58. (Hopefully) the final version of my transfer dissertation, which cites Dijkstra in the beginning (!), presents an incremental development of an internalist solution to the Dutch National Flag problem, and uses that to motivate a study of composable structures for dependently typed programming. ↦ Datatype ornamentation and the Dutch National Flag problem    [2011-08-21 09:18:32 +0100]  [ 1 人說讚！]
    • Josh Ko ⇒ Er, just discovered a misalignment in Appendix A...    [2011-08-21 09:36:11 +0100]
    • Josh Ko ⇒ Corrected.    [2011-08-21 09:50:24 +0100]
  59. Must remember not to use excessive rubato.    [2011-08-22 21:49:55 +0100]
    • Josh Ko ⇒ Especially for Schubert's Impromptu No 3, D899, constant tempo is part of its texture.    [2011-08-22 21:51:38 +0100]
    • Josh Ko ⇒ Can be more explicit about the colours (e.g., dark and bright).    [2011-08-22 21:53:21 +0100]
    • Josh Ko ⇒ Op 55 No 1 was not bad!    [2011-08-22 22:00:23 +0100]
    • Josh Ko ⇒ (Even better than Op 9 No 2.)    [2011-08-22 22:02:18 +0100]
    • Josh Ko ⇒ Op 50 No 3 was still not as good as the recording I put on my personal webpage, but better than those I did with the piano in College.    [2011-08-22 22:28:49 +0100]
    • Josh Ko ⇒ Alright, perhaps just a liiiiittle bit of rubato for Schubert.    [2011-08-22 22:34:38 +0100]
  60. Ocean etude (Op 25 No 12) 已經達到練一練手會痠的速度了。    [2011-08-23 11:52:21 +0100]  [ 1 人說讚！]
    • L********* ⇒ 功力大增 XD    [2011-08-23 11:59:23 +0100]
  61. Should have discovered this earlier. ↦ Free Worldwide Travel Guides - Wikitravel    [2011-08-23 14:32:22 +0100]
    • Josh Ko ⇒ And it's fun to see the travel guide for Taiwan. "In mid-sized and smaller cities, your main reference point is going to be the train station. If you're having trouble finding English speaking people, try looking for college or high school students." These are helpful remarks!    [2011-08-23 14:34:14 +0100]
  62. Dijkstra was even more radical than I had imagined.. Compared to him, I am certainly an empiricist!    [2011-08-23 20:44:33 +0100]
    • Josh Ko ⇒ (EWD1036: On the cruelty of teaching computing science)    [2011-08-23 20:46:49 +0100]
    • Josh Ko ⇒ Dijkstra proposing what the first introductory programming course should look like: "[W]e teach what looks like the predicate calculus, but we do it very differently from the philosophers. In order to train the novice programmer in the manipulation of uninterpreted formulae, we teach it more as a boolean algebra, familiarizing the student with all algebraic properties of the logical connectives. To further sever the links to intuition, we rename the values {true, false} of the boolean domain as {black, white}."

      This might work, actually, in order to expose students to the "radical novelty" of formal systems, but I do not think it should go on for the entire course - one or two lectures/homework on this perspective might be reasonable, and then we bind it to the natural interpretation.    [2011-08-23 21:07:03 +0100]
    • Josh Ko ⇒ Dijkstra's second proposal that an imaginary language be used in order to force students to reason about their programs - as opposed to try to run and correct them blindly - sounds good, however. I think we can spend more time on this, say at least half of the course.    [2011-08-23 21:12:38 +0100]
    • Josh Ko ⇒ Dijkstra's approach, taken to the extreme, would be like teaching school children group theory before addition and subtraction, which is simply not the right order - group theory is merely an abstraction and has to come after what it abstracts. In exactly the same way, a formal system is merely an abstraction of our intuitive reasoning patterns. We can teach students in Dijkstra's way, but only to highlight the concept of formal systems, not to imply that computing is purely symbol manipulation. We should only be interested in *meaningful* symbol manipulation, i.e., formal systems that correspond to our intuition. (Even Dijkstra himself introduced the concept of state space using a concrete computing device in A Discipline of Programming, i.e., abstracting the concept from our intuition.)    [2011-08-23 21:37:39 +0100]
    • W********* ⇒ 老K 針對 死D 的純粹理性嘴砲是說, "他覺得不必要的, 自己可都有經歷過, 也許這些經驗對於像他一個這麼優秀的程式員有其必要而他不知道." (大意) "他自己可不是那樣學的." (關鍵吐槽)

      我自己是覺得, 其實跟教法沒啥關係, 一種米養百款人XD    [2011-08-24 19:19:51 +0100]
  63. Updated the interests section on my personal webpage: "Shortly after I moved from college accommodation to a share house in August 2011, I rented a Knight K10 piano for two years and can now practise regularly, thanks to the support of my dear housemates."    [2011-08-24 08:59:11 +0100]  [ 3 人說讚！]
  64. The problem with this set of slides is that lots of practice is required, much like performing an intricate piece of music..    [2011-08-25 22:22:43 +0100]  [ 1 人說讚！]
  65. Got past security. The gate will open in about 2 hours..    [2011-08-26 06:56:54 +0100]
  66. Reviewed the slides and got a little bit more confident.    [2011-08-26 07:59:24 +0100]  [ 2 人說讚！]
  67. And I forgot something important - I think Jeremy will need to sign my expense claim forms in Tokyo..    [2011-08-26 08:07:31 +0100]
    • J************* ⇒ We can see if finance will accept an email from me instead...    [2011-08-26 16:26:22 +0100]
  68. Arrived at the hotel after a short tour in Nijmegen. (As Wikitravel commented, there are not many things left to see, despite that Nijmegen is the oldest city in the Netherlands.) Will (try to) do more practice in the evening.    [2011-08-26 16:26:30 +0100]  [ 4 人說讚！]
  69. Delivered the talk. Epinephrine did its job well, although my Mac did not react to the projector properly in the beginning, I overran a slide in the middle, and people had to suffer my discontinuous sentences. Fortunately, the two questions raised after the talk were all addressed by the paper, one by the subsection "Realisability predicates for algebraic ornaments" and the other by footnote 2. And during lunch, Kai Trojahner told me he liked my talk!    [2011-08-27 12:17:12 +0100]  [ 3 人說讚！]
    • Josh Ko ⇒ And Conor helped to answer both questions, one directly and the other indirectly.    [2011-08-27 12:17:26 +0100]
    • J********** ⇒ 老大, you're my hero! 電死他們!!    [2011-08-27 12:28:50 +0100]
    • Josh Ko ⇒ 我沒被電到就很好了 XD。    [2011-08-27 12:30:37 +0100]
    • W************ ⇒ 聽起來很不錯!    [2011-08-27 12:34:15 +0100]
    • L********** ⇒ Sounds good!    [2011-08-27 15:55:55 +0100]
    • J************* ⇒ Well done!    [2011-08-27 17:20:13 +0100]
  70. Three more people - Conor, Cezar Ionescu, and a guy whose name I forgot to ask - told me that my talk was good, or at least the slides were good. (They were particularly impressed by what I did using Keynote's animations.)    [2011-08-27 21:32:22 +0100]
    • Josh Ko ⇒ Jeremy, Cezar asked me to say hi to you!    [2011-08-27 21:33:46 +0100]
    • J************* ⇒ Thanks! Too late now to ask you to say hello back...    [2011-08-29 14:44:06 +0100]
  71. The next task would be restructuring the slides for WGP.    [2011-08-27 21:45:38 +0100]
    • Josh Ko ⇒ into a more conventional structure - with motivations, backgrounds, etc.    [2011-08-27 21:46:22 +0100]
    • L********** ⇒ Hi are you at Oxford next week?    [2011-08-27 23:47:05 +0100]
    • Josh Ko ⇒ Yes, I'll be back today (but very late).    [2011-08-28 07:43:14 +0100]
  72. Almost forgot something very worth noting: Google Maps and GPS are *GREAT* inventions!!    [2011-08-28 08:31:17 +0100]  [ 4 人說讚！]
  73. Arrived at the Schiphol airport, 3 hours before the flight. The security checks are distributed just outside every boarding gate. Hm.. I've never thought about this before. Does this increase the checking efficiency?    [2011-08-28 17:37:40 +0100]
  74. Can't wait to get back home..    [2011-08-28 17:38:21 +0100]  [ 3 人說讚！]
    • 翁** ⇒ 學成歸國嗎XD    [2011-08-28 17:42:55 +0100]
    • Josh Ko ⇒ The home in Oxford!    [2011-08-28 17:43:11 +0100]
    • Josh Ko ⇒ The home in Taiwan will have to wait for a few more months..    [2011-08-28 17:44:16 +0100]
  75. Turns out I might do non-trivial adaptation to my slides..    [2011-08-29 10:15:29 +0100]
    • J********** ⇒ 沒在怕的啦><    [2011-08-29 10:33:08 +0100]

Labels:

posted by Josh Ko @ 3:40 pm   0 項意見