海野秀之のサイト
Android むけ Haskell コンパイラをリリースしました！ 2020 年 12 月 15 日公開 -- Haskell Advent Calendar 2020, 15 日目の記事として書いたもの AtCoder Beginners Selection を Haskell で 2019 年 12 月 15 日公開 -- Haskell Advent Calendar 2019, 15 日目の記事として書いたもの How to make ad-hoc polymorphism less ad hoc 邦訳 2018 年 12 月 15 日公開 -- Haskell Advent Calendar 2018, 15 日目の記事として訳してみました 型システムを学ぼう！ 2017 年 12 月 15 日公開 -- Haskell Advent Calendar 2017, 15 日目の
エンジニアリングや研究開発について思うこと - 人間とウェブの未来
エンジニアリングや研究開発について思うことをこれまで色々とツイートしたりしてきたが、それを改めて短編エッセイ集のようにまとめて整理し、自分の行動原理や思考を言語化して振り返っていた。以下目次。 基礎を学び古典を知る サーベイと評価の重要性 論文という学習と貢献を両立する手法 企業でのスペシャリストに求められるさらなるスキル 技術への深入りの効能 インフラエンジニアのキャリア再び 技術という真にフェアな領域 エンジニアへの動機付けと教育 知識をコードで表現する専門職としてのエンジニア 技術に対する思考 技術力の醸成による先行報酬 エンジニアのアウトプットと個人の実績 アカデミアか企業か家族か 楽しいことと貢献とその評価を重ねる 技術と自由 技術が目的 基礎を学び古典を知る 技術力を高めたい、成長したいという前提において、基礎を学ばずに発想で勝負などと、勉強もせずに過去の天才達とに渡り合うほど
Asai Laboratory, Ochanomizu University
継続計算に対する仮想機械の導出 定理証明系Coqを使った各種継続計算の性質の証明 対称 λ 計算 shift/resetを含む部分評価器の実装 MinCamlコンパイラ，Caml Lightにおけるshift/resetの実装 証明木(ほか)の可視化 お茶大情報科学科の時間割自動作成 『四則演算インタプリタを作ろう！』 四則演算インタープリタをつくりましょう 末尾呼び出し(tail call)と継続渡し形式(Continuation Passing Style) lexer（字句解析器）と parser（構文解析器）の作成 (サンプルコード) 局所変数の導入 関数(closure)の追加 大域脱出(exit)の追加 再帰関数の追加 FelleisenのCオペレータ リストの追加 Promptの導入 control/prompt から shift/reset への拡張 対称 λ 計算 Coq
西谷・平山研Hiki - ejiri::いろいろ
[その他] Packet Garden [その他] Party Printer [理論] 線形論理 [理論] 直観論理 [デスクトップ] Beryl Project [その他] もしプログラマーが飛行機を作ったら - GIGAZINE まさに究極の開発手法だね。 [darcs] Understanding darcs パッチ理論が面白い。 [Web] Web Scouter 戦闘力が分かるスカウター [Haskell][darcs] darcs ソースコード管理システム。P2Pみたい。 [その他] OpenCV 画像中の人間の顔を認識してくれるライブラリ。面白そう [Io][プログラミング言語] Io プログラミングガイド [その他] CuteCircuit 遠隔操作で人を締め上げることが可能となる。 [その他] 秋月電子通商 パーツが色々売っている。センサとかもある。 [Amazon]
Computing Research & Education • Conference Rankings
The CORE Conference Ranking Exercise - CORE Portal TO ACCESS TO CORE CONFERENCE PORTAL, CLICK HERE The CORE Conference Portal provides a collection of information about conferences that Computer Science academics frequently, or occasionally, publish in. Information includes venue title, commonly used acronym, publisher or sponsoring society, and information from previous venue ranking exercises
ヒビルテ(2006-09-12)
λ. PPL Summer School 2006 今日は PPL Summer School に行ってくる。 色々な人に会えるであろうから楽しみ。 行ってきた。昨日のSLACSはほとんど宇宙語の世界だったが、今日はこころある人間の言語のようで、気楽に聴いていられた。色々な人にお会いできたが、あまり話すことが出来ず残念だった。 以下色々書くが、これらは講演内容をまとめたわけではなく、私の単なるメモであり、偏っており間違いを含む可能性も高いのでご注意を。まあ、真に受ける人はいないと思うが。 他の方の感想など λ. 圏論の諸相 講師 木下 佳樹 先生（産業技術総合研究所） 概要 圏論は、圏の構造についての理論ではあるが、その利用者にとっては、ものの見方を与え、いい定義を探すための道具であるという面がある。定理の証明よりいい定義を見つけるのが難しい、というのは、圏論や型理論に共通の特徴で、同じ数
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
型システムを学ぼう！
形態素解析も辞書も言語モデルもいらないend-to-end音声認識
http://dsl.serc.iisc.ernet.in/publications/CS_ConfRank.htm
Kenichi Asai