YouTubeYouTube でお気に入りの動画や音楽を楽しみ、オリジナルのコンテンツをアップロードして友だちや家族、世界中の人たちと共有しましょう。
Kyoto University Research Information Repository: <一般論文> 循環性を受け入れる : 構成主義における可述性の位置づけの変更とその影響
Recently some constructivists try to justify impredicative theories with coinduction which play a very significant role in computer science though it had been thought that predicativity is necessary for constructivity. In this paper we introduce these arguments, by Rathjen and by Coquand, and apply these argument to show a naive set theory CONS in FLew∀, which is intuitionistic logic minus the con
【お知らせ】今までにない、知識共有ツール、近日公開。 - 都市科学研究会ブログ
アイデアを、つなげる このツールは、「単語間の関係(=アイデア)」を組み合わせて「モジュール」を作り、 それを複数枚重ね合わせて可視化します。 これにより集団内での知識の繋がりと分断を表現する事が可能となります。 新しい知識を得る興奮を、 あなたに、みんなで、いっしょに。 当ツールの情報をこうご期待！！！
Write better papers, faster! |Online Research Library: Questia
After more than twenty years, Questia is discontinuing operations as of Monday, December 21, 2020. Individual subscriptions and access to Questia are no longer available. We apologize for any inconvenience and are here to help you find similar resources. As the world of education changes, Gale continues to adapt to the needs of customers and users. We offer many other periodical resources and data
+ Kapelle Triona +
ボーカロイド古楽楽団＊カペレ・トリーナ + Kapelle Triona + Vocaloidkapelle für alte Musik 古楽器（ピリオド楽器）の音色を再現したMIDI演奏 ＋VOCALOID「初音ミク」他の歌唱による、 バロック声楽を中心としたDTM古楽サイトです。 動画付きでお送りします。 【イベント出展情報】 「サンライズクリエイション in BS 2020 冬」内 「砲雷撃戦！よーい！六十三戦目」にサークル参加しました！ ご来場まことにありがとうございました。 推奨ブラウザ：Google Chrome ※各曲目をクリックするといきなり音声が流れる場合があります。ご注意ください。 ☆…ミミコピ～忠実再現 ◇…自由な再現～微編曲 ◆…独自編曲 ★…ド編曲 ■…オリジナル ＃…コラボ ◆＃J.S.バッハ：平均律クラヴィーア曲集より（ミサ曲風編曲） →パロディー作：◆「A
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
「地点 introducing 光のない。」
光のない。もうひとつの視点から
Daft Punk officially release 'Get Lucky' on iTunes
Black Sabbath reveal new song 'God Is Dead?' - listen
Warren Dwight Allen, Music and the idea of progress - PhilPapers
Philosophies of Music History
ushigyunet｜iPhoneからゲームやグルメまで、ひたすら詳しくレビューするブログ
サウンドスケープ：音による自然学