|【1】英語での論文の書き方の講義 Lecture on “Logic and English”|
|要旨：||In this talk, I will show some of the relationships between logic and natural language, such as English. I will argue that understanding these relationships can help a writer to communicate information more clearly and more effectively. For this purpose, I will look at examples that illustrate the close relationship between logic and English. I will also look at the advice given in books about improving English writing style, and will interpret that advice in logical terms.|
|【2】英文アブストラクトのワークショップ Workshop on abstract refinements（一人当たり30分で個別指導）|
|要旨：||This goal of this workshop is to learn how to use logic to improve English writing, so that it is easier to understand. For this purpose, we will look at research abstracts written by students of informatics, and discuss how to make the abstracts as easy as possible to understand.
A typical abstract for discussion at the workshop could be an abstract of an MSc or PhD thesis, or an abstract of a research article. Although the thesis or article itself is likely to be too specialised to be understood by someone working in a different field, the abstract should be written to be understood by as wide an audience as possible.
To participate in the workshop, you are encouraged to submit an abstract of your own research about a third of a page long. Participants who do not submit abstracts are also welcome to attend the workshop and participate in the discussion.
英国 Imperial College 名誉教授。Department of Computingに所属し、論理型プログラミング，定理証明などの分野で多大な功績をあげる。