Pat Metheny Labo - Acousphere Toshi
「皆様へお知らせ」 Acousphereパット・メセニー・ラボをいつもご覧いただきありがとうございます！ 今後新規の更新は『ToshiShimizu GuitarBlog』にて行っていきます。 お手数ですがこちらへ改めてブックマークをお願いいたします。 これからもパットに関する研究発表、そしてみなさんに役立つ情報をお知らせしていきたいと思います。 今後ともどうぞよろしくお願いいたします。 Acousphere清水 「Acousphereパット・メセニー・ラボへようこそ！」 Acousphereのギタリスト清水敏貴です。 現代音楽界において世界最高のギタリストの一人であるパットメセニー。 僕がギターを本格的に始めたときからのヒーローであり、ずっと追いかけ続けてきた存在の人です。 デビュー以来、絶え間ない音楽的進化を続けてきたPat。 音楽の停滞が言われて久しい1990年代から2000年代です
t.dvi
Purely Functional Data Structures Chris Okasaki September 1996 CMU-CS-96-177 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 Submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy. Thesis Committee: Peter Lee, Chair Robert Harper Daniel Sleator Robert Tarjan, Princeton University Copyright c 1996 Chris Okasaki This research was sponso
fm-forum @ ウィキ
Formal Methods Forum 形式手法について広く深く研究する会です。 勉強会 参考資料Coq勉強資料:Certified Programming with Dependent Types Event-B勉強資料:Slides and Rodin Platform archives of the developments corresponding to chapters of the books Coq Coqインストール Coq参考資料 Certified Programming with Dependent Types関係 Coq命題論理の証明 Coqで数独 SPIN SPINインストール リンク集：関連しそうな話へのリンク集
Alloy
about alloy Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. An Alloy model is a collection of constraints that describes (implicitly) a set of structures, for example: all the possible security configurations of a web application, or all
形式手法実践ポータル | Formal Methods User Group
「形式手法（フォーマルメソッド）」は，数理論理学等に基づき品質の高いソフトウェアを効率よく開発するための科学的・系統的アプローチの総称です．形式手法においては，システムの注目する側面を正確に，曖昧さのないモデルで表現します．これによりシステムへに関する理解を明確にするとともに，システムの満たす性質について科学的・系統的な分析や検証を行います．その結果，曖昧な理解や誤りを早期に発見し手戻りを防いだり，分析・検証により品質を高めたりすることができます． 形式手法におけるツールの充実や，ソフトウェアの品質に対する要求の高まりを受けて，形式手法は改めて注目されてきています．ただし，形式手法・ツールにはその目的に応じて多種多様な種類があり，また個々の手法・ツールを効果的に用いるためには注意深く適用方法を検討する必要があります． このサイトでは，形式手法の利用を促進することを目指し，目的の異なる様々な
The Caml language: Home
Caml is a general-purpose programming language, designed with program safety and reliability in mind. It is very expressive, yet easy to learn and use. Caml supports functional, imperative, and object-oriented programming styles. It has been developed and distributed by INRIA, a French research institute in computer science and applied mathematics, since 1985. The OCaml system is the main implemen
The TYPES Forum
TYPES is a moderated e-mail forum focusing on Type Theory in Computer Science, with a broad view of the subject encompassing semantical, categorical, operational, and proof theoretical topics, as well as algorithmic issues and applications. Typical topics include: Typed, untyped, or polymorphic lambda calculus; type checking, inference, and reconstruction; subtyping, dependent types, calculus of c
日本数学会
最新ニュースNEWS 学術的会合 The 17th MSJ-SI：Developments of multiple zeta values (2025年2月10日〜15日 九州大学 西新プラザ，2月17日〜22日 近畿大学 東大阪キャンパス) 学術的会合 2024年度秋季総合分科会（2024年9月3日～9月7日、大阪大学豊中キャンパス） 会員向け 科研費に関する署名活動について 会員向け 加藤フェロー募集について(2024年10月31日締切) 会員向け 第42回（令和6年度）大阪科学賞受賞候補者推薦募集（締切：2024年7月1日17時） 会員向け 2025年〜2026年開催「藤原セミナー」の募集について 会員向け 2024年度のCREST・さきがけの公募開始について 会員向け 稲盛科学研究機構（InaRIS: Inamori Research Institute for Science）フ
tapl-nagoya - Front Page
第16回 TAPL-nagoya 勉強会 日時: 2013年8月17日 14:00 - 17:00 場所: 名古屋大学（の予定） 参加登録 概要：10章 ハッシュタグ: #taplnagoya 第15回 TAPL-nagoya 勉強会 日時: 2013年7月20日 18:00 - 20:00 場所: 名古屋大学 東山キャンパス 多元数理科学棟 1階109号室 参加登録 概要：5, 6, 7章の理論部分流し読み ハッシュタグ: #taplnagoya 第14回 TAPL-nagoya 勉強会 日時: 2013年6月16日 14:00 - 17:00 場所: 名古屋大学 東山キャンパス 多元数理科学棟（旧理1号館）3階309号室 参加登録 概要：5, 6, 7章の予定 ハッシュタグ: #taplnagoya 7章の実装 OCaml Ruby prolog coq 第13回 TAPL-nagoy
ゲームブックのオンラインショップ トレーダーズ・ギルド
【検索】のボックス内にお探しの商品名を入力しますと、商品の検索を行えます。 画面左（スマートフォン版は下）にある【商品カテゴリー】のリンクをクリックすると、商品を系統別のリストでご覧頂けます。 商品の画像をクリックいたしますと、詳細な状態を参照できます。 中には状態の悪い品物もございますので、説明欄、備考欄にある状態や写真などを参考に、良く吟味の上でご注文していただくようお願いいたします。 ※ 当店では以下のお支払い方法をご利用頂けます ※ ・銀行振り込み、郵便振替（ゆうちょ） ・代金引換
怪獣プロパガンダ - うぃっちくらふとすたっふぶろぐ
弊社で開発を担当いたしました『アイドルデスゲームTV』のLINEスタンプが、3/22より配信されました! http://line.me/S/sticker/1403870 こちらより、スタンプの購入ができます。 すべてが上田メタヲ先生による、書き下ろしスタンプとなっております! 夢と真実のスタンプを、ぜひお楽しみ下さい!! こんにちは、事務です。 2月の寒い朝、ひっそりと旅立っていきました。 8年ちょっと、毎日頑張ってくれたのですが…… 先週、冷蔵庫が冷えなくなっておりました。 おっと、こいつは一大事ですよ！ 冷凍室は弱々しくも、かろうじて氷を作ってくれるんですが、冷蔵室が反応なし。 電源抜いて一昼夜放置しても、復旧せず。残念です。 真夏でなくてよかったですが、やっぱり冷蔵庫がないと不便と言う事で、 新しい仲間（冷蔵庫）に交代です。 同メーカーの同じ型は、以前買った時より1万円も高く（税抜
a wandering wolf
最近、多忙によりあまり更新できなくなっております…(´・ω・｀) そんな最中ですが、新しいブログを始めてみました。 a wandering wolf 「同じタイトルかよ！」というツッコミは無粋です。 これは Tinkerer というPython 製のパッケージを使って作りました。 Tinkerer Tinkerer は Sphinx というドキュメント作成ツールを利用しています。 Sphinx-Users.jp 簡単に始められるので、興味がある方はぜひ。 This is the translated text of the topic I've written - #126 Practical Introduction to NaturalSpec (ja: #126 NaturalSpec 実践入門).PrefaceIn the summer of 2012, some tutorial
Wolfram|Alpha: Making the world’s knowledge computable
Compute expert-level answers using Wolfram’s breakthrough algorithms, knowledgebase and AI technology Mathematics ›Step-by-Step SolutionsElementary MathAlgebraPlotting & GraphicsCalculus & AnalysisGeometryDifferential EquationsStatisticsMore Topics »Science & Technology ›Units & MeasuresPhysicsChemistryEngineeringComputational SciencesEarth SciencesMaterialsTransportationMore Topics »Society & Cul
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
語学（英語） | NHKテキスト2014 | NHK出版
The Haskell Road to Logic, Maths and Programming
Types and Programming Languages
ASL - The Association for Symbolic Logic
ProofCafe - Front Page
休日カフェタイム
Python Japan User's Group