文献一覧: 佐藤 (著者) - Ceek.jp Altmetrics

1 0 0 0 OA 侘びの美意識その美としての一般性と特殊性

著者: 佐藤透
出版者: 東北哲学会
雑誌: 東北哲学会年報 (ISSN:09139354)
巻号頁・発行日: vol.25, pp.1-17, 2009 (Released:2022-07-29)

2022-09-23 13:50:00
1 はてなブックマーク

1 0 0 0 OA 大会報告

著者: 古田拓也小城拓理青木滋之小林麻衣子太子堂正称大谷弘小峯敦久米暁佐藤方宣小田川大典山岡龍一高田宏史山川仁豊川祥隆中元洸太萬屋博喜
出版者: 日本イギリス哲学会
雑誌: イギリス哲学研究 (ISSN:03877450)
巻号頁・発行日: vol.43, pp.121-144, 2020-03-20 (Released:2021-04-16)

2022-09-23 13:43:00
1 はてなブックマーク

1 0 0 0 OA 新潟水俣病事件における妊娠規制の問題:優生思想とフェミニスト倫理学の観点からの検討

著者: 佐藤靜
出版者: 日本医学哲学・倫理学会
雑誌: 医学哲学医学倫理 (ISSN:02896427)
巻号頁・発行日: vol.38, pp.11-19, 2020 (Released:2022-07-20)

2022-09-23 13:39:00
1 はてなブックマーク

1 0 0 0 OA 芦名定道著『現代神学の冒険――新しい海図を求めて』

著者: 佐藤啓介
出版者: 宗教哲学会
雑誌: 宗教哲学研究 (ISSN:02897105)
巻号頁・発行日: vol.38, pp.134-137, 2021-03-31 (Released:2021-11-02)

2022-09-23 13:30:00
1 はてなブックマーク

1 0 0 0 OA 証明支援系と型理論

著者: 佐藤雅彦
出版者: The Philosophy of Science Society, Japan
雑誌: 科学哲学 (ISSN:02893428)
巻号頁・発行日: vol.53, no.2, pp.3-23, 2021-03-31 (Released:2021-03-31)
参考文献数: 35

In this paper, we analyze the historical process of emergence of proof assistants, and acceptance of proof assistants by the community of mathematicians. Our analysis is done by reflecting on how the notion of proof deepened through the proposal of formalism by Hilbert, formalization of the notion of computability, and especially development of type theory. In this analysis, we view mathematics as human linguistic activity where proofs are produced and communicated by means of both natural languages and formal languages. The complete acceptance of proof assistants by mathematicians is yet to be achieved, but we argue that it should and would happen by properly designing and implmenting a meta proof assistant which can talk and reason about any formal systems.

2022-09-23 13:07:00
1 はてなブックマーク

1 0 0 0 OA 書評

著者: 一ノ瀬正樹小畑俊太郎寺尾範野佐藤一進山岡龍一中野安章伊勢俊彦大谷弘桂木隆夫児玉聡福田名津子福間聡矢嶋直規渡辺恵一武井敬亮犬塚元
出版者: 日本イギリス哲学会
雑誌: イギリス哲学研究 (ISSN:03877450)
巻号頁・発行日: vol.42, pp.67-110, 2019-03-20 (Released:2020-04-28)

2022-09-23 13:04:00
1 はてなブックマーク

1 0 0 0 OA 書評

著者: 佐藤正志田中浩篠原久行安茂神野慧一郎小泉仰
出版者: 日本イギリス哲学会
雑誌: イギリス哲学研究 (ISSN:03877450)
巻号頁・発行日: vol.15, pp.44-60, 1992-04-01 (Released:2018-05-25)

2022-09-23 12:50:00
1 はてなブックマーク

1 0 0 0 OA ブユの生態に関する研究 : 27. 宮城県における春期のブユ採集成績

著者: 斎藤一三金山彰宏佐藤英毅上本騏一
出版者: 日本衛生動物学会
雑誌: 衛生動物 (ISSN:04247086)
巻号頁・発行日: vol.46, no.3, pp.305-312, 1995-09-15 (Released:2016-08-23)
参考文献数: 26
被引用文献数: 6

The fauna and distribution of the blackflies in Miyagi Prefecture were investigated from collections of larval and pupal stages of flies from streams and imaginal stages flying around the collectors at 78 localities in the spring of 1986. A total of 9,441 blackflies, 7,928 larvae, 1,464 pupae and 49 adults, was collected at 63 sites. Those blackflies were classified into 3 genera and 23 species. Sixteen species, Prosimulium (Prosimulium) yezoense, P. (P.) jezonicum, Cnephia (Stegopterna) mutata, Simulium (Nevermannia) konoi, S. (N.) subcostatum, S. (N.) uchidai, S. (Gomphostilbia) ogatai, S. (Gom.) shogakii, S. (Gnus) bidentatum, S. (Gnus) malyshevi, S. (Simulium) kawamurae, S. (S.) nikkoense, S. (S.) suzukii, S. (Eusimulium) sp. H., S. (E.) sp. Y. and S. sp. M-1 were newly recorded from Miyagi Prefecture. Predominant species was S. (N.) uchidai (26.8%), followed by S. (O.) aokii (24.8%), S. (S.) japonicum (19.1%) and S. (N.) konoi (7.3%). The most widely distributed species was S. (N.) uchidai (53 sites), followed by S. japonicum (39 sites), S. (O.) aokii (32 sites), S. (N.) konoi (19 sites), S. (S.) rufibasis (19 sites) and P. (P.) yezoense (16 sites).