ランキング (合計) - Ceek.jp Altmetrics

We show that the crispness of ω is not provable in a constructive naive set theory CONS in FLew ∀, intuitionistic predicate logic minus the contraction rule. In the proof, we construct a circularly defined object fix, a fixed point of the successor function suc, by using a fixed-point theorem.

2015-10-03 08:41:59
4 + 2 Twitter

4 0 0 0 OA 大皿料理を介した食卓における取り分け行動の分析-最後の一つは誰がいつ取り分けるのか?

著者: 小倉加奈代田中唯太西本一志
出版者: 日本認知科学会
雑誌: 日本認知科学会大会発表論文集
巻号頁・発行日: vol.29, pp.877-884, 2012

In this paper, we try to analyze serving food to reveal a situation of “the last on piece of food”. When we analyzed video data of table talks with some platters, we focused on serving food for each platter and for dining table. As a result, we confirmed situations of suspending serving foods from middle stage to end often occurred. In addition, we found after suspending serving food, serving food occurred continuously for short time span. A series of suspending and activating serving food is important for us to handle a situation of “the last one piece of food”.

2015-09-24 21:21:57
4 + 2 Twitter

http://hdl.handle.net/10119/11637

4 0 0 0 OA 小学校で哲学する : オスカル・ブルニフィエの相互質問法を用いた授業

著者: 本間直樹高橋綾
出版者: 大阪大学大学院文学研究科臨床哲学研究室
雑誌: 臨床哲学 (ISSN:13499904)
巻号頁・発行日: vol.11, pp.58-74, 2010-06-30

2015-09-18 09:36:28
4 + 0 Twitter

http://hdl.handle.net/11094/6989

4 0 0 0 OA 不安と悲哀 : 人間存在の《根本気分》をめぐって

著者: 佐々木正寿ササキマサトシ Sasaki Masatoshi
出版者: 大阪大学大学院文学研究科哲学講座
雑誌: メタフュシカ (ISSN:13426508)
巻号頁・発行日: vol.39, pp.25-35, 2008-12-25

2015-09-16 14:49:03
4 + 2 Twitter

4 0 0 0 OA 一七八〇年代のパリ王立科学アカデミーと「政治経済学」

著者: 隠岐さや香
出版者: 東京大学教養学部哲学・科学史部会
雑誌: 哲学・科学史論叢 (ISSN:13446185)
巻号頁・発行日: vol.3, pp.95-118, 2001-01-31

2015-09-15 17:56:09
4 + 1 Twitter

http://hdl.handle.net/2261/28691

4 0 0 0 OA 前田綱紀時代の加賀藩資料に見える能楽

著者: 棚町知彌江口文恵入口敦志佐藤和道竹本幹夫青柳有利子
雑誌: 演劇研究センター紀要IX 早稲田大学21世紀COEプログラム〈演劇の総合的研究と演劇学の確立〉
巻号頁・発行日: vol.9, pp.105-128, 2007-01-31

2015-09-13 13:46:29
4 + 3 Twitter

http://hdl.handle.net/2065/26929

4 0 0 0 OA 「思う」認識動詞構文について : 補文述語制約の観点からの一考察

著者: 陸丹
出版者: 筑波大学大学院博士課程文芸・言語研究科応用言語学コース
雑誌: 筑波応用言語学研究 (ISSN:13424823)
巻号頁・発行日: no.14, pp.115-127, 2007-12-27

2015-09-09 00:01:51
4 + 3 Twitter

http://hdl.handle.net/2241/98411

4 0 0 0 OA 図書館スタッフによる学修支援の実践,および事後評価 : 「プレゼン入門:話す基本技術」

著者: 久保山健堀一成坂尻彰宏クボヤマタケシホリカズナリサカジリアキヒロ Kuboyama Takeshi Hori Kazunari Sakajiri Akihiro
出版者: 大阪大学全学教育推進機構
雑誌: 大阪大学高等教育研究 (ISSN:21876002)
巻号頁・発行日: vol.3, pp.33-43, 2015-03-31

This paper describes a basic lecture on presentation as extracurricular education at the Osaka University Library, and the follow-up surveys to the lecture. Many university libraries in Japan have been working on learning support for years. Osaka University Library and the Center for Education in Liberal Arts and Sciences have been cooperating closely to implement writing support activities as extracurricular education since 2010. In 2011, a lecture on logical speaking was launched. The goal of the lecture was learning basic skills for logical speaking. According to questionnaire survey which was carried out after each class, the lecture seemed quite useful for participants. In 2014, the follow-up surveys were conducted to evaluate how beneficial the lectures proved for the participants. It is understood that the participants gained considerable benefit from the lecture. This paper, firstly offers the details of “Introduction to Presentation: Basic Skills for Logical Speaking,” and then describes the result of the follow-up surveys. The lecture was delivered by the first author of this paper.