文献一覧: 筑波大学 (出版者)

1 0 0 0 IR <前号を読んで>評価する側、される側

著者: 望月聡
出版者: 筑波大学
雑誌: 筑波フォーラム (ISSN:03851850)
巻号頁・発行日: no.68, 2004-11

前号を手にした頃ちょうど携帯電話を買い換える必要が生じ、カタログを眺めていた。そこには、機種ごとに特徴を紹介するページや、全機種を横並びにして機能を比較できる機能一覧のページがある。私はこれらを検討し、いずれかを選択したい。比較し、なんらかの判断をすること。 ...

2010-07-06 14:00:10
1 + 0 Twitter

https://ci.nii.ac.jp/naid/120000843218

1 0 0 0 IR <学内トピックス> 学期制に対する雑感

著者: 西岡牧人
出版者: 筑波大学
雑誌: 筑波フォーラム (ISSN:03851850)
巻号頁・発行日: vol.59, pp.77-81, 2001-06

Nishioka, Makihito私が本学に着任したのは4年前の春ですので、まだまだ新参者です。本稿では新参者の目から、本学の学期制についての感想を述べたいと思います。私は本学への着任以前に名大助手として九年間勤務し、またそれ以前は東大で学生として八年間過ごしました。学生時代には地方出身者のための小さな寮でおよそ ...

2010-06-06 22:00:13
1 + 0 Twitter

https://ci.nii.ac.jp/naid/110000390373

1 0 0 0 IR 菅平の高等植物目録補遺I

著者: 林一六伊藤洋
出版者: 筑波大学
雑誌: 筑波大学菅平高原実験センター研究報告 (ISSN:09136800)
巻号頁・発行日: vol.8, 1987

この補遺は1985年に「菅平の高等植物目録」が発行された後で、菅平に生育が確認された種類を記録したものである。目録の中の a, b, cなどの文字は次のような意味である。産地、A : 根子岳、四阿山の上部、B : 同じく中腹、菅平高原、大松山の中腹、C : 菅平湿原を含む菅平の最も低い方面。産状、A, B, C : 普通に産するもの。A, b, c : まれに産するもの。 ...

2010-06-04 15:00:13
1 + 0 Twitter

https://ci.nii.ac.jp/naid/110000510813

1 0 0 0 IR スポーツの教育、文化、科学の担い手育成策 (<特集>シリーズ「筑波大学の将来設計」(1)学群教育を考える)

著者: 阿江道良
出版者: 筑波大学
雑誌: 筑波フォーラム (ISSN:03851850)
巻号頁・発行日: no.63, pp.31-34, 2003-11

ニュース番組のキャスターも「さあ、次はスポーツです」と言うとき、その表情が和らぐ。暗いニュースが多い昨今であるが、スポーツはわが国で明るい話題を提供し、多くを元気づける数少ないものの1つである。古くは、敗戦で自信を失い、 …

2010-05-17 05:00:30
1 + 0 Twitter

https://ci.nii.ac.jp/naid/120000843484

1 0 0 0 IR <第2回短期集中公開研究会報告>「大学職員の役割とその在り方」大学職員の役割とその在り方

著者: 村上義紀
出版者: 筑波大学
雑誌: 大学研究 (ISSN:09160264)
巻号頁・発行日: vol.22, pp.245-261, 2001-03

村上皆さん、こんばんは。前回お見えいただいた方もいらっしゃいますので、できるだけ前回と重複しないようにお話をしようと思いますが、若干の重複はご容赦いただきたいと思います。いま、山本教授から私を常任理事とご紹介をいた ...

2010-05-04 21:45:25
1 + 2 Twitter

https://ci.nii.ac.jp/naid/110000490904

1 0 0 0 IR 政府と大学ー国立大学の立場からー

著者: 潮木守一
出版者: 筑波大学
雑誌: 大学研究 (ISSN:09160264)
巻号頁・発行日: vol.18, pp.51-57, 1998-03

ご紹介いただきました潮木でございます。「政府と大学」というテーマ、それも「国立大学から見て」をいうことで依頼を受けました。今朝からずっといろいろお話がありまして、ほとんど問題点は出尽くしているのではないかと思います ...

2010-05-03 10:00:17
1 + 0 Twitter

https://ci.nii.ac.jp/naid/110000490842

1 0 0 0 J.=P.リシャールのテーマ批評 : その構造論的解明(2)

著者: 神郡悦子
出版者: 筑波大学
雑誌: 言語文化論集 (ISSN:03867765)
巻号頁・発行日: vol.41, pp.99-119, 1995

2010-04-28 14:27:37
1 はてなブックマーク

https://ci.nii.ac.jp/naid/110000426016

1 0 0 0 IR <第1回短期集中公開研究会報告>「大学経営人材の養成をめざして」大学経営人材の養成をめざして

著者: 諸星裕
出版者: 筑波大学
雑誌: 大学研究 (ISSN:09160264)
巻号頁・発行日: vol.22, pp.13-31, 2001-03

一番バッターということで大変名誉なことですが、責任の大きさも感じております。ようこそお出でいただきましてありがとうございます。ここが有名な、元東京教育大学の跡かとー絶対こういう大学には来たくないと高等学校の時に思って ...

2010-04-23 16:00:12
1 + 0 Twitter

https://ci.nii.ac.jp/naid/110000490894

1 0 0 0 IR <第1回短期集中公開研究会報告>「大学経営人材の養成をめざして」大学経営人材の養成をめざして

著者: 山本眞一
出版者: 筑波大学
雑誌: 大学研究 (ISSN:09160264)
巻号頁・発行日: vol.22, pp.3-11, 2001-03

本日はお忙しいところ、多数お集まりいただきましてありがとうございます。後ほど、このプログラムの趣旨等について詳しくお話申し上げます。定員30名でご案内申し上げましたが、初日から予想を上回るペースでお申し込みいただきました ...

2010-04-23 11:00:16
1 + 0 Twitter

https://ci.nii.ac.jp/naid/110000490893

1 0 0 0 定理証明システムによる型システムとプログラム変換の検証

著者: 南出靖彦
出版者: 筑波大学
雑誌: 若手研究(B)
巻号頁・発行日: 2001

関数型プログラミング言語のコンパイラで用いられるCPS変換の定理証明システムIsabelle/HOLによる検証について二つの拡張を行った.まず,CPS変換がプログラムの実行に必要な記憶領域の大きさを保存することを検証した.証明すべき性質はより複雑なものになり,証明の長さも2倍程度になった.しかし,変換で導入される変数の形式化などは,記憶領域を考慮しない場合の形式化をそのまま応用することができ,自動証明を多くの補題の証明に用いることができた.次に,変換の検証を自由変数に含む式に拡張した.前年度の検証では,扱うプログラムが閉じた式であることを仮定し,証明を単純化した.しかし,前年度の証明を再検討したところ,この制限は証明の単純化にあまり貢献していないことがわかった.そこで,本年度には,この制限を取り除いて検証を行い,この制限が本質的でないことを確認した.関数型プログラミング言語の末尾呼び出しを,Java仮想機械などの末尾呼び出しを直接サポートしていない環境で効率的に実装するためのプログラム変換を提案した.末尾呼び出しをサポートしない環境でも,特殊な関数呼び出しの仕組みを用いることで,末尾呼び出しが実現できるが,そのような方法はオーバーヘッドが大きい.提案した方法では,型推論を用いてプログラムの末尾呼び出しに関する性質を推論する.その型情報に基づき,末尾呼び出しの正当な実装が必要な関数に対してだけ,選択的に,非効率的な末尾呼び出しの実装を用いることで,オーバーヘッドを抑えている.