型レベル関数と型族、型演算子｜Haskellでの型レベルプログラミング
INSTITUT DE MATHÉMATIQUES DE MARSEILLE
Accueil L’Institut de Mathématiques de Marseille (I2M, UMR 7373) est une Unité Mixte de Recherche placée sous la triple tutelle du CNRS, d’Aix-Marseille Université et de l’École Centrale de Marseille. → En savoir plus. Aujourd'huivendredi 23 février 2024 Yenni Cherik GdT Comptage asymptotique des surfaces minimales dans les 3-variétés hyperboliques 14:00 - 16:00 Le flot géodésique d\'une surface à
(解説) はてなブックマークにおけるアクセス制御 - 半環構造に基づくモデル化 - Hatena Developer Blog
こんにちは、シニアアプリケーションエンジニアのid:taraoです。この記事ははてなデベロッパーアドベントカレンダー2015の10日目です。昨日はid:tapir320によるはてなの組織開発についてでした。 先月開催されたWebDB Forum 2015で、「はてなブックマークにおけるアクセス制御: 半環構造に基づくモデル化」というタイトルの発表をしました。 はてなブックマークにおけるアクセス制御 - 半環構造に基づくモデル化 from Lintaro Ina 発表資料には多くの方に興味をもっていただけたようですが、わかりにくい点も多かったのではないでしょうか。スポンサー企業としての技術報告セッションとはいえ学術会議での発表なので理論面と独自の工夫点にフォーカスした内容であったり、口頭での発表のしかたに大きく依存したスライドの遷移方法になっているので、この資料だけで細かいところまで理解しよ
優れた研究論文の書き方―7つの提案
オリジナルはこちら https://www.microsoft.com/en-us/research/academic-program/write-great-research-paper/ http://research.microsoft.com/en-us/um/people/simonpj/papers/giving-a-talk/Writing%20a%20paper%20(seven%20suggestions).pptx 新しいバージョンはこちら https://www.slideshare.net/kdmsnr/how-to-write-a-great-research-paper-226669082Read less
Walking Like Dinosaurs: Chickens with Artificial Tails Provide Clues about Non-Avian Theropod Locomotion
Birds still share many traits with their dinosaur ancestors, making them the best living group to reconstruct certain aspects of non-avian theropod biology. Bipedal, digitigrade locomotion and parasagittal hindlimb movement are some of those inherited traits. Living birds, however, maintain an unusually crouched hindlimb posture and locomotion powered by knee flexion, in contrast to the inferred p
researchmapへようこそ - researchmap
researchmapは、研究者が業績を管理・発信できるようにすることを目的とした、データベース型研究者総覧です。 簡単な登録で自身の研究者サイトを作成することができ、研究成果として、論文、講演・口頭発表、書籍、産業財産権、Works（作品等）、社会貢献活動などの業績を管理し、発信することができます。また、研究コミュニティなど、様々なツールを研究活動に活用できます。 また、今回リリースしましたresearchmap.V2では、検索・入力のしやすさを考慮したデザインと利便性の向上を図りました。レスポンシブなデザインで、利用デバイス（PC、タブレット、スマホ等）に最適化した画面を表示しています。 ●簡単な操作で、情報発信用のホー ムページ（マイポータルと呼びます）を開設できます。 ●所属機関を異動しても、マイポータルを利用し続けることができます。 ●研究プロフィール（経歴・業績等）や業績情報の
What is a thesis defense?
A thesis defense has two parts: a thesis and a defense. The second mistake many students make is not knowing what their thesis is. The third mistake is not knowing how to defend it. (The first mistake is describe later.) What is a thesis? Your thesis is not your dissertation. Neither is it a one liner about what you are doing. Your thesis is "a position or proposition that a person (as a candidate
Microsoft Research Silicon Valley 最後の日を見て - iwiwiの日記
8 月中旬より，インターンとしてマウンテンビューに位置する Microsoft Research Silicon Valley (MSR SVC) に滞在して研究をしていました．期間は 3 ヶ月の予定で，11 月中旬まで居る予定でした．しかし，Microsoft の経営判断により MSR SVC の閉鎖が突然決定され，所属チームの方々を含む殆どの研究者は解雇となり，僕の滞在も突如終了になりました． このショッキングな事件は，英語のみならず日本語のニュースサイトにも取り上げられています． Microsoft to close Microsoft Research lab in Silicon Valley | ZDNet Microsoft Research closing Silicon Valley lab in latest job cuts - GeekWire http://www
Home Page
The DOI Foundation is a not-for-profit organization. We govern the Digital Object Identifier (DOI) system on behalf of the agencies who manage DOI registries and provide services to their respective communities. We are the registration authority for the ISO standard (ISO 26324) for the DOI system and we are governed by our Registration Agencies. Read more about us, our operations and our community
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://logic.cs.tsukuba.ac.jp/ppl2016/slides/ppltut.pdf
Simon Peyton-Jones - Microsoft Research
https://xavierleroy.org/publi/validated-parser.pdf
https://www.cs.utexas.edu/~dahlin/professional/parbery-referee.pdf
Logical Methods in Computer Science - Home
Microsoft 課金サービス
bitbucketの使い方
GitHub - polazarus/ocamlyices: Yices SMT solver's binding for the OCaml programming language
To the Gates of HAL: A HAL Tutorial