著者

萩野達也 Tatsuya Hagino 京都大学大型計算機センター

雑誌

コンピュータソフトウェア (ISSN:02896540)

巻号頁・発行日

vol.7, no.1, pp.16-32,

被引用文献数

2

---

カテゴリー理論的関数型言語は,カテゴリー理論に基づいた関数型プログラミング言語で,カテゴリー理論的に随伴関手を使ってデータ型を定義し,その上でプログラムを書くことができる.この言語では元々定義されたデータ型が存在せず,すべて随伴関手の機能を使って定義される.定義可能なデータ型には,終対象,始対象,積,和,関数型,自然数,有限リスト,無限リスト等がある.また,この言語は,制御構造も元々は定義されておらず,データ型の定義と共にそのデータ型に関する基本演算および制御構造が定義される.そして,プログラムの実行のための計算規則は,カテゴリー理論によって,単純な統一されたものとなっている.

著者

京都大学・京都精華大学マンガプロジェクト

出版者

京都大学広報センター

巻号頁・発行日

2008-09

---

京大マンガプロジェクト制作記 / 竹宮惠子(京都精華大学)

著者

京都大学図書館業務改善検討委員会資料保存環境整備部会

出版者

京都大学図書館業務改善検討委員会資料保存環境整備部会

巻号頁・発行日

2011-03

---

この動画は、京都大学図書館機構実務研修(資料保存)「初心者のための簡易補修―よくある破損、こう直そう」(平成22年11月16日開催)の資料を再編集したものです。この動画を利用する場合は、補修の前提条件などの注意書きが伝わらなくなるような改変はしないでください。

著者

京都大学百年史編集委員会

出版者

京都大学教育研究振興財団

雑誌

京都大学百年史 : 資料編 ; 2

巻号頁・発行日

pp.903-927, 2000-10-30

著者

京都大学百年史編集委員会

出版者

京都大学後援会

雑誌

京都大学百年史 : 写真集

巻号頁・発行日

pp.034-072, 1997-09-30

著者

京都大学附属図書館学術支援課

出版者

京都大学図書館機構

巻号頁・発行日

2019-12-24

著者

京都大学百年史編集委員会

出版者

京都大学後援会

雑誌

京都大学百年史 : 総説編

巻号頁・発行日

pp.784-949, 1998-06-18

著者

桜川貴司 Takashi Sakuragawa 京都大学数理解析研究所

雑誌

コンピュータソフトウェア (ISSN:02896540)

巻号頁・発行日

vol.4, no.3, pp.15-27, 1987

被引用文献数

1

---

Temporal Logicに裁づいた論理型言語を紹介する.この言語によって,並列処理・待ち合わせ・相互排除・非決定性などを容易に表現できる.applicationとしてはexecutable specification languageとしての使用を念頭においている.

著者

京都大学考古学研究会編

出版者

京大考古学研究会出版事務局

巻号頁・発行日

1971

著者

京都大学図書館機構将来構想企画検討会

出版者

京都大学附属図書館研究開発室

巻号頁・発行日

pp.1-148, 2008-03-31

---

I.京都大学の図書館をめぐる課題と将来構想策定の必要性 II.京都大学図書館機構のミッションと将来構想 III.組織と人材のこれから IV.これからの図書館サービス V.図書館資源の整備 VI.電子ジャーナルを中心とした学術雑誌の収集と提供 VII.京都大学における電子情報資源を中心としたサービスの将来構想

著者

[京都大学医学部微生物学教室編]

出版者

京都大学医学部微生物学教室

巻号頁・発行日

1965

著者

京都大学附属図書館

出版者

京都大学附属図書館

巻号頁・発行日

1961-03

---

1899年(明治32)から1961年(昭和36年)までの附属図書館館史。

著者

京都大学大学文書館

出版者

京都大学大学文書館

巻号頁・発行日

2009-03-31

---

プロジェクトの概要

著者

京都大学百年史編集委員会

出版者

京都大学後援会

雑誌

京都大学百年史 : 部局史編 ; 3

巻号頁・発行日

pp.360-418, 1997-09-30

著者

京都大学百年史編集委員会

出版者

京都大学教育研究振興財団

雑誌

京都大学百年史 : 資料編 ; 3

巻号頁・発行日

pp.134-382, 2001-03-21

著者

湯淺 太一 京都大学

雑誌

コンピュータソフトウェア = Computer software (ISSN:02896540)

巻号頁・発行日

vol.23, no.4, 2006-10-26

著者

京都大学霊長類研究所疾病対策委員会

出版者

一般社団法人 日本霊長類学会

雑誌

霊長類研究 (ISSN:09124047)

巻号頁・発行日

vol.26, no.1, pp.69-71, 2010-06-20 (Released:2010-07-01)

被引用文献数

3 3

著者

京都大学図書館機構

出版者

京都大学図書館機構

巻号頁・発行日

pp.1-65, 2009-09-18

---

平成20年12月17日(水)-平成21年1月30日(金)

著者

京都大学事務局庶務課調査掛 編

出版者

京都大学

巻号頁・発行日

vol.自大正10年至昭和26年, 1952

著者

京都大学図書館業務改善検討委員会 資料保存環境整備部会

出版者

京都大学図書館業務改善検討委員会資料保存環境整備部会

巻号頁・発行日

2010-03

---

マイクロフィルムは、図書館資料の中でも特に長期保存に適した記録媒体であるが、環境整備が難しい資料だと認識され、管理面での積極的な取り組みが行われていない現状が見受けられる。しかし、放置しておくと連鎖的に被害が広がる類の劣化現象も報告されており、定期的な点検による異常の早期発見と、適切な処置が求められる。まずは所蔵するマイクロフィルムの種類と数量を把握し、その目的に沿った保存環境を整えることから始めよう。