9 0 0 0 OA フレーゲの計算機科学への影響
- 著者
- 佐藤 雅彦
- 出版者
- 日本科学哲学会
- 雑誌
- 科学哲学 (ISSN:02893428)
- 巻号頁・発行日
- vol.38, no.2, pp.21-33, 2005-12-25 (Released:2009-05-29)
- 参考文献数
- 18
We study Frege's influence on computer science mainly from the viewpoint of the formal aspect of Frege's Begriffsschrift. We argue that his analysis of a function as an unsaturated entity is related to the notion of higher-order abstract syntax in computer science, and his way of explaining Begriffsschrift should shed light on the future design of a common meta language for various mathematical systems. We also point out the influence of Frege on Martin-Löf's type theories, which led to the revival of the notion of judgment which was once almost forgotten in mathematical logic.
3 0 0 0 OA 癌性腹膜炎で発見された乳癌の1例
- 著者
- 渡部 英 佐藤 雅彦 根上 直樹 石戸 保典 齋藤 徹也 山田 正樹 佐藤 英章 伴 慎一
- 出版者
- 日本臨床外科学会
- 雑誌
- 日本臨床外科学会雑誌 (ISSN:13452843)
- 巻号頁・発行日
- vol.74, no.4, pp.890-895, 2013 (Released:2013-10-25)
- 参考文献数
- 16
症例は47歳の女性,急性腹症で来院.腹部全体の筋性防御と圧痛の所見があり,CTで多量の腹水を認めた.汎発性腹膜炎を疑い,緊急開腹手術を施行した.開腹の結果,消化管穿孔の部位はなく,黄色清の腹水を認め,腹腔内全体に白色の硬い小結節が散在していた.手術は試験開腹術に終わった.手術時に摘出した結節と腹水から低分化型腺癌を認め,原発部位不明の癌性腹膜炎と診断した.腹膜播種結節を免疫染色した結果,病理学的に乳癌由来の組織像と診断した.両側乳房に腫瘤は触知しなかったが,CTで左乳腺に淡い陰影像があり,同部位を穿刺した結果,病理学的に腹膜播種と同様の低分化型腺癌を認め,原発部位は乳癌であることが判明した.
2 0 0 0 OA フレーゲ哲学の現代的意義
- 著者
- 佐藤 雅彦
- 出版者
- The Philosophy of Science Society, Japan
- 雑誌
- 科学哲学 (ISSN:02893428)
- 巻号頁・発行日
- vol.49, no.1, pp.67-84, 2016-07-31 (Released:2016-11-10)
- 参考文献数
- 16
“The Full Picture of Frege’s Philosophy” (Keiso Shobo, 2012) by Kazuyuki Nomoto gives a detailed account of Gottlob Frege’s life devoted to a failed attempt to develop mathematics formally and entirely from scratch based upon his logicism and his semantical understanding of mathematical entities. In the present paper, I review the book and recommend it as a challenging and inspiring book to anyone who wishes to understand the modern meaning of Frege’s philosophy.
2 0 0 0 OA 痔疾用軟膏のケース誤飲により直腸穿孔をきたした直腸癌の1例
- 著者
- 高橋 玄 佐藤 雅彦 大久保 剛
- 出版者
- 日本腹部救急医学会
- 雑誌
- 日本腹部救急医学会雑誌 (ISSN:13402242)
- 巻号頁・発行日
- vol.29, no.1, pp.91-94, 2009-01-31 (Released:2009-03-03)
- 参考文献数
- 7
- 被引用文献数
- 1
症例は79歳男性。近医に脳梗塞・認知症で入院中であった。既往に内痔核があり痔疾用軟膏を1日1本投与されていた。2008年3月上旬に腹痛・嘔吐が出現。腹部所見は板状硬であり,腹部CT検査でfree airが認められ当院転院となった。消化管穿孔・汎発性腹膜炎の診断で同日緊急手術施行。腹腔内は糞便で汚染されており,洗浄後観察すると直腸Raに深達度SSの直腸癌と思われる腫瘍が認められた。その1cm口側に10mm大の穿孔部位があり,痔疾用軟膏のケースの1部が露出していた。術式は腹腔ドレナージ+ハルトマン手術とした。病理組織結果はSS,N0の高分化腺癌であった。その後,不幸にして患者は呼吸不全となり永眠された。痔疾用軟膏のケースにより消化管穿孔をおこした直腸癌は極めてまれであり,今後このように不幸な転機をとる患者を減らすためには本人以外が薬剤を投与するなどの予防策を考慮すべきであると思われた。若干の文献的検討を加え報告する。
- 著者
- 佐藤 雅彦 浦野 弘 SATO Masahiko URANO Hiroshi
- 出版者
- 秋田大学教育文化学部附属教育実践研究支援センター
- 雑誌
- 秋田大学教育文化学部教育実践研究紀要 = BULLETIN OF THE CENTER FOR EDUCATIONAL RESEARCH AND PRACTICE FACULTY OF EDUCATION AND HUMAN STUDIES AKITA UNIVERSITY (ISSN:24328871)
- 巻号頁・発行日
- vol.39, pp.127-136, 2017-03-31
神山(2006),大城・笹森(2011),佐々木・武田(2012)による既存の調査結果をもとに,通級指導教室および特別支援学級の教育課程編成の現状を調査した.その結果は,学校全体の教育課程の編成に関して加古(2006)が指摘している編成主体の偏り,その弊害と思われる教員の負担増加や孤立が,特別の教育課程の編成および個別の指導計画作成でも認められることを明らかにしている.さらに,特別支援教育担当教員が指摘する課題は,連携や情報交換・共有の不足に関連したものが多いこと,そしてそれらが通級指導教室と特別の教育課程による特別支援学級に共通して見られることを示している.
- 著者
- 佐藤 雅彦 中村 豊郎 沼田 正寛 桑原 京子 本間 清一 佐藤 朗好 藤巻 正生
- 出版者
- Japanese Society of Animal Science
- 雑誌
- 日本畜産學會報 = The Japanese journal of zootechnical science (ISSN:1346907X)
- 巻号頁・発行日
- vol.66, no.3, pp.274-282, 1995-03-25
- 参考文献数
- 9
- 被引用文献数
- 1 1
和牛がなぜおいしいかを解明する一助のために,銘柄牛とされる5種類の和牛の香気および呈味成分について検討した.理化学的分析の結果は以下のとおりである.<br>(1) 赤肉部の分析では,ペプチドの分子量分布,ヒスチジン関連ジペプチドおよび核酸関連物質に銘柄による顕著な差は認められなかった.全アミノ酸量およびグルタミンは飛騨牛で多く,松阪牛で少なかった.<br>(2) 脂質の分析では,いずれの銘柄牛もほとんどHPLCにおける保持時間(Rt)55分以降にピークが存在し,そのピークパターンは類似していた.脂質の融点は,神戸牛,米沢牛および松阪牛で低く,前沢牛および飛騨牛で高かった.<br>(3) 加熱香気分析では,加熱後の牛肉試料中の脂質含量に差はないが,回収された香気画分の量,香気画分中の窒素化合物において前沢牛が多く,香ばしいことが予想された.また,官能基別分類では,酸類,アルコール類,アルデヒド類,ケトン類に銘柄による相違が認められ,これらは脂質に由来する化合物の差が現れていると考えられた.
2 0 0 0 OA 利尻島における鯨類漂着等記録(~2015)
- 著者
- 松石 隆 松田 純佳 黒田 実加 佐藤 雅彦 佐藤 里恵 石川 創
- 出版者
- 利尻町立博物館
- 雑誌
- 利尻研究 (ISSN:09199160)
- 巻号頁・発行日
- vol.36, pp.83-88, 2017-03
Rishiri Island is located in the Sea of Japan off the west coast of Hokkaido, Japan. Stranding record at this island could be important information for understanding the migration of the cetacean in the Sea of Japan. A total of 21 stranding records were collected. Each stranding records consisted of one individual. The records include 6 Stejneger's beaked whales Mesoplodon stejnegeri (including one unidentified Mesoplodon), 4 Dall's porpoises Phocoenoides dalli (one truei-type, two dalli-type and one type unidentified), 4 harbor porpoises Phocoena phocoena, 3 Baird's beaked whales Berardius bairdii, 1 killer whale Orcinus orca, 1 beluga Delphinapterus leucas (sighting) and 2 unidentified cetaceans.
2 0 0 0 OA クモバエ類と宿主コウモリ類の系統関係の比較
- 著者
- 二河 成男 佐藤 雅彦 近藤 憲久 深津 武馬
- 出版者
- 日本衛生動物学会
- 雑誌
- 衛生動物 (ISSN:04247086)
- 巻号頁・発行日
- vol.62, no.3, pp.185-194, 2011-09-15 (Released:2012-04-27)
- 参考文献数
- 32
- 被引用文献数
- 7
日本産コウモリ類に寄生するクモバエ科昆虫97試料を検した.5属11種のコウモリから4属8種のクモバエが得られた.過去の報告と併せて主要宿主を推定したところ,3種のクモバエは単一種のコウモリに,4種のクモバエは同属のコウモリ2種に依存していた.1種のクモバエのみ3属4種のコウモリより得られたが,分子系統解析の結果,これら3属は単系統群となることが判明した.すなわちクモバエ類には一般に種特異的,属特異的もしくは属群特異的な宿主特異性があることが示された.一方,ミトコンドリア遺伝子の塩基配列に基づいたクモバエ類の分子系統樹と宿主コウモリの系統樹を比較したところ,両者の樹形に共分岐パターンはまったく認められなかった.すなわちクモバエ類の進化過程では宿主転換が繰り返し起こってきたことが示唆された.
2 0 0 0 論理プログラミングの基礎
- 著者
- J.W. ロイド著 佐藤雅彦 森下真一訳
- 出版者
- 産業図書
- 巻号頁・発行日
- 1987
1 0 0 0 OA 虫こぶはなぜできる?:昆虫が持つ植物発生プログラムハッキング能力の謎に迫る
植物を餌とする昆虫類の中には,単に植物を食べるだけでなく,自身の住処となり,かつ自らが欲しい栄養成分をふんだんに含んだ「虫こぶ insect gall」と呼ばれる構造を作らせる種が知られている.このような巧みな植物操作がどのように行われ,そしてどのような昆虫の遺伝子が関与しているのかに関しては,興味は持たれていたが,そもそも実験的に飼育できる虫こぶ誘導昆虫自体がほぼ無かったため,大部分は未解明のままであった.そこで本研究では,実験室内で飼育可能な実験系の立ち上げと,モデル植物を用いた虫こぶ誘導能の実験手法を確立することで,虫こぶ形成の謎を解明する突破口を開いた.
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.
1 0 0 0 OA 参照透明な代入を持つ純関数型言語
- 著者
- 山中 淳彦 佐藤 雅彦
- 出版者
- 日本ソフトウェア科学会
- 雑誌
- コンピュータ ソフトウェア (ISSN:02896540)
- 巻号頁・発行日
- vol.14, no.4, pp.4_388-4_401, 1997-07-15 (Released:2018-11-05)
本論文では、代入を持つ関数型言語Λを提案する.この言語の定義を示し、操作的意味論がChurch-Rosser性や参照透明性のような良い性質を持つことを示す.次に、Λと[5]で提案された同様の関数型言語Λ94とを比較し、両者の間に成り立つ関係を調べる.Λの操作的意味論はΛ94のそれよりも簡潔に与えられており、そのためΛに対しては決定的な操作的意味論を自然に定義することができる.
1 0 0 0 OA 牛肉の香気と呈味成分に関する研究 黒毛和種銘柄牛間の成分の相違について
- 著者
- 佐藤 雅彦 中村 豊郎 沼田 正寛 桑原 京子 本間 清一 佐藤 朗好 藤巻 正生
- 出版者
- 公益社団法人 日本畜産学会
- 雑誌
- 日本畜産学会報 (ISSN:1346907X)
- 巻号頁・発行日
- vol.66, no.3, pp.274-282, 1995-03-25 (Released:2008-03-10)
- 参考文献数
- 9
- 被引用文献数
- 3 1
和牛がなぜおいしいかを解明する一助のために,銘柄牛とされる5種類の和牛の香気および呈味成分について検討した.理化学的分析の結果は以下のとおりである.(1) 赤肉部の分析では,ペプチドの分子量分布,ヒスチジン関連ジペプチドおよび核酸関連物質に銘柄による顕著な差は認められなかった.全アミノ酸量およびグルタミンは飛騨牛で多く,松阪牛で少なかった.(2) 脂質の分析では,いずれの銘柄牛もほとんどHPLCにおける保持時間(Rt)55分以降にピークが存在し,そのピークパターンは類似していた.脂質の融点は,神戸牛,米沢牛および松阪牛で低く,前沢牛および飛騨牛で高かった.(3) 加熱香気分析では,加熱後の牛肉試料中の脂質含量に差はないが,回収された香気画分の量,香気画分中の窒素化合物において前沢牛が多く,香ばしいことが予想された.また,官能基別分類では,酸類,アルコール類,アルデヒド類,ケトン類に銘柄による相違が認められ,これらは脂質に由来する化合物の差が現れていると考えられた.
- 著者
- 村上 正樹 藤江 智也 松村 実生 藤原 泰之 木村 朋紀 安池 修之 山本 千夏 佐藤 雅彦 鍜冶 利幸
- 出版者
- 日本毒性学会
- 雑誌
- 日本毒性学会学術年会
- 巻号頁・発行日
- vol.41, pp.P-2, 2014
【背景・目的】有機金属化合物はそれを構成する分子構造や金属イオンとは異なる生物活性を持ち得るため,生命科学への活用が期待される。メタロチオネイン(MT)は有害重金属の毒性軽減などに関与するが、誘導機構には不明な点が多い。本研究では,有機アンチモン化合物ライブラリーから見出された化合物(Sb35)によるMT誘導の特性について,ウシ大動脈由来血管内皮細胞(BAE)を用いて調べた。<br>【方法】BAEをSb35で処理し,MTサブタイプおよびMTF-1 mRNAの発現をReal-Time RT PCR法により評価した。金属応答配列MREおよび抗酸化応答配列AREの活性をDual Luciferase Assayにより測定した。<br>【結果・考察】Sb35は,BAEが発現するMTのすべてのサブタイプ(MT-1A,MT-1EおよびMT-2)のmRNA発現を濃度依存的に増加させたが,MREを顕著に活性化しなかった。しかしながら,転写因子MTF-1をノックダウンすると,すべてのMTサブタイプの発現が抑制された。一方,Sb35は転写因子Nrf2を活性化し,AREを強く活性化した。そこでNrf2をノックダウンしたところ,MT-1AおよびMT-1EのmRNA発現が有意に抑制された。MT-2の発現には変化は認められなかった。以上の結果より,Sb35はすべてのMTサブタイプの遺伝子発現を誘導するが,MT-1AおよびMT-1Eの誘導はMTF-1-MRE経路とNrf2-ARE経路の両方に介在されること,これに対しMT-2の誘導はNrf2-ARE経路に依存せず,MTF-1-MRE経路に介在されることが示唆された。Sb35がNrf2の活性化によってサブタイプ選択的にMT遺伝子の発現を誘導することは,この有機アンチモン化合物がMTの誘導機構解析の有用なツールであることを示している。
1 0 0 0 ソローの市民的不服従 : 悪しき「市民政府」に抵抗せよ
- 著者
- ヘンリー・デイヴィッド・ソロー著 佐藤雅彦訳
- 出版者
- 論創社
- 巻号頁・発行日
- 2011
1 0 0 0 OA インタラクティブな展示の設計
- 著者
- 桐山 孝司 佐藤 雅彦
- 出版者
- 科学基礎論学会
- 雑誌
- 科学基礎論研究 (ISSN:00227668)
- 巻号頁・発行日
- vol.46, no.2, pp.65-70, 2019 (Released:2019-05-22)
- 参考文献数
- 5
This paper discusses two interactive exhibits in the perspective of design and behavioral analysis. The first exhibit, Pool of Fingerprints, was created for the exhibition of The Definition of Self. The second exhibit, Arithmetik Garden, was exhibited at Mori Art Museum in 2007 and NTT InterCommunication Center [ICC] in 2008.
1 0 0 0 OA 低用量カドミウム曝露と健康影響
- 著者
- 小山 洋 鬼頭 英明 佐藤 雅彦 遠山 千春
- 出版者
- The Japanese Society for Hygiene
- 雑誌
- 日本衛生学雑誌 (ISSN:00215082)
- 巻号頁・発行日
- vol.57, no.3, pp.547-555, 2002-09-15 (Released:2009-02-17)
- 参考文献数
- 69
- 被引用文献数
- 10 12
We reviewed studies on genotoxicity and carcinogenicity of cadmium (Cd). Salmonella typhimurium and Escherichia coli exposed to Cd did not show mutagenicity, whereas cultured mammalian cells exposed to Cd showed mutation, DNA strand breaks, and chromosomal aberrations. Carcinogenicity tests showed that exposure to Cd increased the occurrence of tumors in testis, lung, prostate, hematopoietic tissues, and injection sites. On the other hand, recent epidemiologic studies are not supportive of earlier observations on the association between Cd and prostate cancer. The US NIOSH data on a possible association between Cd and lung cancer may need reevaluation. No studies which show a positive relationship between oral Cd exposure and carcinogenesis have been reported. All available data suggest that Cd should be reassigned to IARC Group 2A (probably carcinogenic to humans) from the current Group 1.
