2015年度後期・数理解析・計算機数学 II
[ ホーム | 講義 ] 2015年度後期・数理解析・計算機数学 II (同 概論II) レポート課題 レポート課題 提出期限 2016年2月3日(水) 講義予定 シラバス 第1回 10月7日 Coq で関数型プログラミング 講義メモ 資料 EmacsでCoqを使う 設定ファイル coq.emacs (.emacs にコピーす る) 第2回 10月14日 Coqの論理 講義メモ 第3回 10月21日 述語論理と帰納法 講義メモ 第4回 10月28日 帰納的な定義と多相性 講義メモ 第5回 11月4日 多相性と単一化 講義メモ 第6回 11月11日 プログラムの証明1 講義メモ 第7回11月18日 プログラムの証明2 講義メモ 第8回11月25日 数学的な証明 講義メモ 第9回12月2日 SSReflect 講義メモ 第10回 12月 9日 SSReflect 2 講義メモ coq10.v
untitled
特集：オープンアクセス UDC 02：000.000：000.000 オープンアクセスをウォッチする 10 大ツール 三根 慎二＊ オープンアクセスに対する社会的関心の高まりや， その促進を後押しする欧米政府・研究機関による政策・制度の策定が続いている。 オー プンアクセス関連の情報は大量に流通し続けており，一人ですべてを発見し読むことはもはや不可能である。よって，情報収集の負担を軽 減しより効率的にするためには，何らかの方策が必要となる。本稿では，オープンアクセス関連の情報を収集するための重要な 10 大ツー ル（人，イベント・学会・各種委員会，Twitter，メーリングリスト・メールマガジン，ブログ，Web サイト，ソーシャルブックマーク， ニュースレター，雑誌，図書）を紹介する。 キーワード：オープンアクセス，学術情報流通，機関リポジトリ，情報収集，情報発信，情報源 1．はじ
かわらばん91号
精神疾患は遺伝で決まる病気なのでしょうか？ 統合失調症, 気分障害（うつ病や双極性障害）, 摂食障害, 自閉症スペクトラム障害が発症するには, どれも遺伝要因だけではなく, 環境要因も重要な役割を果たしていることが知られています。すなわち, 精神疾患が発症する際には, その人が持っている, 生まれながらの体質（遺伝要因）と生活習慣などの影響（環境要因）との両者が複雑に組み合わさって生じていると考えられています。 図１をご覧ください。左にいくほど発症に遺伝要因が強く影響し, 右にいくほど環境要因が強く影響します。環境要因が強く影響する疾患としては怪我などがあり, 遺伝要因が強く影響する疾患としては単一遺伝子疾患と言って, 遺伝子の違いによって起こるような疾患があります。しかし精神疾患は, 図の真ん中辺りにあり, 発症に両方の要因が関係していることがわかります。 すなわち, 精神疾患は,
諏訪大社御柱祭の文化人類学的研究
平成 26 年度名古屋大学大学院文学研究科 学位（課程博士）申請論文 諏訪大社御柱祭の文化人類学的研究 ―祭礼の存続と民間信仰― 名古屋大学大学院文学研究科 人文学専攻 文化人類学・宗教学・日本思想史専門 石川 俊介 平成 26 年 9 月 ii 目次 序論 1 1 節 先行研究の整理と本論の位置づけ 1 1－1 祭礼についての先行研究の整理 1 1－2 本論の位置付けと視座 2 1－2－1 祭礼の「存続論」 3 1－2－2 「民間信仰」の場としての祭礼 5 1－3 本論における当事者 7 2 節 調査と事例概説 8 2－1 調査方法とフィールドワーク 8 2－2 調査地概説 9 2－2－1 諏訪地域 9 2－2－2 諏訪大社 14 2－2－3 御柱祭 24 2－2－4 上社・下社共通行事 48 2－2－5 上社御柱祭 65 2－2－6 下社御柱祭 69 2―3 御柱祭の「構造」－神道祭
NAGOYA Repository: 電子ジャーナルの契約変更と名古屋大学附属図書館医学部分館におけるILL依頼業務の変化
Since 2013，Nagoya University have been borne part of the ILL cost. While it have changed the contract of e-journal of Elsevier from package to individual title base in 2014. Due to the change，the number of request of literature has been significantly increased at Nagoya University Medical Library. This document is the research and analysis for the impact of e-journal contract change to the request
オープンアクセスポリシー
名古屋大学は、本学の教職員に対し、教職員が執筆する学術論文（共著含む）を可能な限り広く無償で公開することを求めるオープンアクセスポリシーを平成28年4月19日に制定しました。これにより、本学の教職員は、オープンアクセスポリシー制定後に出版された学術論文について、オープンアクセスにするか、不可能な場合はその旨を申し出ることになります。 名古屋大学オープンアクセスポリシー 広報資料（チラシ） ポリシーの適用範囲 以下のすべての条件を満たす論文となります。 オープンアクセスポリシー制定後に発行された学術論文（査読の有無は問わず） 名古屋大学の教職員が著者になっている学術論文 ※上記以外であっても本学の構成員による研究成果は、著者が希望すれば名古屋大学学術機関リポジトリに登録できます。 ※公開に支障がある場合は名古屋大学附属図書館に申し出ることで、本ポリシーの適用を免除されます。 オープンアクセス
Katakana
カタカナ問題について 英語圏の国へ行くと誰でも思い知らされることに、日本式の英語の発音が 全く通じないということがある。特に、カタカナになっている英語を不用意に 発音すると、聞きかえされる経験を持っている人も多いだろう。最近は英語の 表記に忠実にカタカナにする傾向があるが、あまり意味が感じられない。例え ば「ダイアモンド」がある。これは、前はよく「ダイ『ヤ』モンド」と書いて いたものだ。多少、「ダイアモンド」の方が元の発音に近いのだろうが、結局 どっちにしても、このまま読んだのでは英米人には通じない。それなら日本人 に発音しやすい「ダイヤモンド」の方が自然で優れていると思うのだが、どう だろうか。我々はカタカナ語は日本語であるということをしっかり認識し、原 語の発音に擦り寄ったりせず、日本語として自然な発音で表記もしたほうがい いのではないだろうか。 例えば、ある車の評論家はイギリス車の「
65 「たたり」1と宗教ブーム ―変容する宗教の中の水子供養− 松浦 1．はじめに 中絶した胎児に対する死者供養である水子供養は、1970 年代に成立し 80 年 代にかけて全国化した極めて新し
65 「たたり」1と宗教ブーム ―変容する宗教の中の水子供養− 松浦 1．はじめに 中絶した胎児に対する死者供養である水子供養は、1970 年代に成立し 80 年 代にかけて全国化した極めて新しい現象であり、 それが宗教なのか商売なのか、 仏教のものであるのか否か、日本の伝統宗教と関係あるのかないのか、中絶し た女性に対する癒しなのか恫喝なのか、あるいは中絶問題の解決になり得るの か否か、といった多彩な視点から国内外の研究者たちの注目を集めてきた。 仏教学者ウィリアム・R・ラフルーアは、水子供養を完全に仏教の宇宙観の 中に位置づけており、水子に対する考え方は日本に伝統的に存在してきたもの で、1970 年代以降にメディアの注目を集めるようになったに過ぎないという立 場をとっている。ラフルーアによれば、水子供養は中絶に対する女性の罪悪感 を癒し、また社会的には中絶が権利問題としてアメリカ
論文の為の英語メモ
重要事項 ■校正の例 Jennifer Stone氏による英文校正の例。（大文字部分） ogihara_etal_2014_edit.pdf ■関係代名詞which/thatの制限用法、非制限用法 アメリカ英語にてthatは制限用法で、whichは非制限用法で用いる。 制限用法は先行詞の状態や性質などをを分かりやすく説明し対象を制限するもので、非制限用法は先行詞を補足的に説明するものですでに対象は制限されているもの。 An alternative theory is that Callisto was accreted from slowly inflowing materials after an imperfect gap opening. The water content is calculated using the following prescription
学術論文からの研究資源情報の自動抽出に関する研究
概要 研究活動には研究資源の利用が不可欠である。研究で用いられるデータや資料、ツールに加え、既存手法や評価法などの無形のものも広義の研究資源と捉えることができる。これまでに膨大な量の研究資源が構築され、その多くは作成者によって公開・提供されており、多種多様な用途に再利用することができる。このように研究資源を共有し、様々な用途に活用することは、研究者各々の効率的な研究活動を促すとともに、研究分野全体のレベル向上につながる。しかし、現状では既存の研究資源が有効に活用されているとは言い難い。その理由として、研究資源に関する情報が十分に共有されていないため、利用者が自らの目的に合致した研究資源を容易に見つけることができないという点が挙げられる。 そこで、本論文では、研究資源の名称や定義・用途のような、研究資源を検索・選択する際に有用となる情報（以下、研究資源情報）を網羅的に取得し提供することを目的
1/4【中央図書館】アンケート調査実施のご案内 — NUL News （名古屋大学附属図書館ニュース）
中央図書館では、利用状況や要望を把握し今後のサービス改善の参考とするため、ラーニングコモンズ等利用状況・満足度調査を実施します。 中央図書館は平成26年4月、全館の改修に合わせて3階ラーニングポッドの新設など ラーニングコモンズの新機能も追加して新規オープンしました。また平成26年12月からは 土日祝日も夜10時まで開館しています。 今回のアンケートでは、これらの中央図書館の施設・設備やサービスについて 利用状況や要望を把握し、今後のサービス改善の参考とするために実施するものです。 1．調査期間 平成28年1月4日（月）～1月31日（日） 2．アンケート対象者 名古屋大学の構成員（名古屋大学IDの所持者） 3．アンケート回答手順 名古屋大学附属図書館Webサイト（http://www.nul.nagoya-u.ac.jp）、またはこちらから回答してください。 回答は学内ネットワーク内からの
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://www.math.nagoya-u.ac.jp/~garrigue/papers/structural-inf.pdf
NCES 名古屋大学 大学院情報科学研究科 附属組込みシステム研究センター｜シンポジウムのご案内
丸山 大輔 | 世界トップレベル研究拠点プログラム（WPI）：トランスフォーマティブ生命分子研究所（ITbM）
[PDF]夏原由博 (1997) 標識再捕法
大学教育のアウトカムについての合意形成 －テスト問題作成を通じた取組－
https://www.lang.nagoya-u.ac.jp/proj/genbunronshu/23-1/fukuda.pdf
簡単そうで難しい組み合わせ最適化
http://cms.sis.nagoya-u.ac.jp/kyomu/files/2015/11/5f144a91cea845b0296d0084dfded7f7.pdf
School of Economics