ピクセル、ライン、グリッドをはじめ、ざらっとした感じやフローラル、アブストラクト、日本の伝統文様や小紋などのパターン素材がダウンロードできるサイトを紹介します。 ごく一部のもの以外は、全て個人でも商用でも無料で利用できます。
ピクセル・ざらっとしたの・かわいい柄・和文様など商用でも無料利用できるパターン素材のまとめ
ピクセル、ライン、グリッドをはじめ、ざらっとした感じやフローラル、アブストラクト、日本の伝統文様や小紋などのパターン素材がダウンロードできるサイトを紹介します。 ごく一部のもの以外は、全て個人でも商用でも無料で利用できます。
カリー＝ハワード同型対応 - Wikipedia
関数型プログラムとして書かれた証明：自然数の加法に関する交換律のCoqによる証明。 カリー＝ハワード同型対応（カリー＝ハワードどうけいたいおう、英語: Curry–Howard correspondence）とは、プログラミング言語理論と証明論において、計算機プログラムと証明との間の直接的な対応関係のことである。「プログラム＝証明」(proofs-as-programs)・「型＝命題」(formulae-as-types)などとしても知られる。これはアメリカの数学者ハスケル・カリーと論理学者ウィリアム・アルヴィン・ハワード（英語版）により最初に発見された形式論理の体系とある種の計算の体系との構文論的なアナロジーを一般化した概念である。通常はこの論理と計算の関連性はカリーとハワードに帰属される。しかしながら、このアイデアはブラウワー、ハイティング、コルモゴロフらが定式化した直観主義論理の操作
カラル遺跡 - Wikipedia
カラル (Caral) ないしカラル＝スーペ (Caral-Supe)[1] は古代アンデス文明の遺跡で、2009年にユネスコの世界遺産リストに登録された。ペルーの首都リマの北方およそ200 km に位置するリマ県バランカ郡のスーペ谷に残る大規模な遺跡で、研究者たちの中にはアメリカ大陸最古の都市遺跡と評する者もいる。その評価は完全に定まっているわけではないが[2]、アンデス文明の中でも、カラル文化ともノルテ・チコ文化（英語版）（Norte Chico civilization）とも呼ばれる時期の文化の担い手たちの遺跡として、研究が積み重ねられている。 カラルに定住者がいたのは紀元前3000年頃から前2000年頃のことで[3]、60 ha以上の広さがあった[4]。 カラルが栄えていた時期は、日本人研究者によるアンデス文明の時期区分では「形成期」の早期に位置付けられている。従来その時期は「古期
失われた世界34の都市 | カラパイア
この画像を大きなサイズで見る 自然災害、あるいは戦争などの人為的災害、ゴーストタウンと化した都市は世界各国に多数存在する。元凶がなんであれ、これらの都市は数世紀後に再び発見されるまでの間、人々の記憶から忘れ去られていたのだ。 34.カルタゴ この画像を大きなサイズで見る かつて現在のチュニジアに位置したカルタゴは、フェニキア人入植者により建設され、地中海地域の主要な都市国家としての支配力を持った。シラクやローマとの対立が数度の侵略戦争を生み、その中でもスキピオ・アフリカヌスに率いられたローマの侵攻は目をみはるものがあった。 紀元前146年にこの都市はローマ人に滅ぼされた。その後ローマ人はカルタゴ市内を一軒一軒回って破壊や略奪を行ったり、人々を捕虜や奴隷にした後、この都市を炎上させた。しかしローマ人はカルタゴを再建し、それは帝国で最大かつ最重要な都市の一つになった。新しいカルタゴは紀元698
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Kamyana Mohyla - Wikipedia
