一人CSアドベントカレンダー開催のお知らせ
これは一人Computer Scienceアドベントカレンダー 1日目の記事です。 概要的なもの 「一人アドベントカレンダーって面白そうだな、やってみたい」みたいなノリで登録したんですが、 25日毎日記事を同じテーマで投稿し続けるのどう考えてもめっちゃ大変なのでやはりここは自分が一番得意な分野で行くしかないかなとなりCS関係ということになりました。 上のQiitaのページでも書いてますが、キーワードとして"ラムダ計算・定理証明・Haskell・ML・圏論 とかなんかそのへん"を挙げていますので そのへんのお話になります。今のところは無難に定理証明を中心にテーマをいくつか選んでおいたので多分そのへんの話です。 スケジュール 最終的にはQiitaのカレンダー見ればわかることなんでいいんですが一応今後どういう感じで進めていくのかのスケジュール的なものをまとめておきます。 Isabelle編 Is
今日からはじめるGitHub ～ 初心者がGitをインストールして、プルリクできるようになるまでを解説｜ハイクラス転職・求人情報サイト AMBI（アンビ）
今日からはじめるGitHub ～ 初心者がGitをインストールして、プルリクできるようになるまでを解説 エンジニアであれば、チーム開発ではもちろんのこと、個人開発でもGitを用いてバージョン管理していきたいもの。今回は、GitやGitHubをはじめて使う人に向けて、導入から初歩的な使い方までを解説します。 ソースコードの管理はできていますか？ ファイルを修正するときに、修正前のソースコードをhoge.php.bakのようなバックアップファイルとして残し、開発環境をゴミだらけにしていませんか？ エンジニアであれば、チーム開発ではもちろんのこと、個人開発でもGitを用いてバージョン管理していきたいもの。今回は、GitやGitHubをはじめて使う人に向けて、導入から初歩的な使い方までを解説します。 ここではGitの詳細な仕組みには触れません。GitやGitHubを利用したことのない人が、Gitを
The (old) Rust Guide
The (old) Rust Guide This content has moved into the Rust Programming Language book.
コマンドラインツールについて語るときに僕の語ること #yapcasia
http://yapcasia.org/2014/talk/show/b49cc53a-027b-11e4-9357-07b16aeab6a4
関数型プログラマのためのRust | POSTD
この投稿はEdward Z. Yangが2010年に書いた OCaml for Haskellers 、私自身が今年頭に書いた Haskell for OCaml programmers の流れに沿っています。 目次 プロローグ なぜRustを学ぶべきか 直接対応が可能なもの トレイト：Rustの型クラス アドホックなオブジェクトとメソッド 安全な参照 寿命と記憶域、そして管理オブジェクト オブジェクトの共有：RcとArc マクロとメタプログラミング リテラル 謝辞 参照 Copyright and licensing 注 : この記事の最新版は下記サイトで見られます。 http://science.raphael.poss.name/rust-for-functional-programmers.html 他のフォーマット： Source , PDF プロローグ C言語プログラマのための
モナドトランスフォーマー・ステップ・バイ・ステップ(Monad Transformers Step By Step) - りんごがでている
著者のMartin Grabmüller氏に許可をいただきましたので、 Haskellモナドトランスフォーマーのチュートリアルを翻訳したものを公開します。 タイポや誤訳、プログラムのミス等ありましたら、 Twitter宛@bicycle1885かコメント欄までご連絡頂けるとありがたいです。 元のテキストやプログラムは以下のリンクから得られます。 Monad Transformers Step by Step [2012/12/19] 誤りを多数訂正しました。id:qtamakiさん、ありがとうございます。 [2014/6/19] 誤りを2点訂正しました。id:daimatzさん、id:hitotakuchanさん、ありがとうございます。 Monad Transformers Step by Step Martin Grabmüller Oct 16 2006 概要(Abstract) この
Building a File Hosting Service in Yesod - School of Haskell | School of Haskell
These tutorials, written by Michael Steele, walk through the process of building a file sharing/hosting service using the Yesod framework. The example application from this tutorial stores file information in memory, so it will lose information on restart, and will fail on large files. This tutorial is the first in a series of 4 tutorials on how to build a file hosting service using Yesod. Site vi
Haskell - FP Complete
FP Complete was founded on a simple vision: we can make the world a better place with better software. And better tools, languages, and processes lead to better software. We believe Haskell is one of the best languages available today for writing robust, performant, concurrent, and maintainable software. FP Complete and its engineering team have created, contributed to, and continue to maintain ma
YBlog - Haskell web programming
update: updated for Yesod 1.2 tl;dr: A simple Yesod tutorial. Yesod is a Haskell web framework. You shouldn’t need to know Haskell. Its efficiency (see Snap Benchmark & Warp Benchmark1). Haskell is an order of magnitude faster than interpreted languages like Ruby and Python2. Haskell is a high level language that makes it harder to shoot yourself in the foot than C, C++ or Java, for example. One o
Lens Tutorial - Introduction (part 1) - Jakub Arnold Blog
Programování jako zábavná hra! Děti, ale i dospělí se mohou naučit kódovat velice přístupnou formou, která bude všechny bavit! Foto: Pixabay Základy programování Programování se může zdát jako složitá věda, ale s dnešními dostupnými nástroji se tomuto řemeslu může naučit každý. Samozřejmě záleží, jaké k tomu má kdo dispozice a kolik času je ochoten učení věnovat. Už ale dávno neplatí, že je progra
A Gentle Introduction to Haskell, Version 98
Paul Hudak, Yale University John Peterson, Yale University Joseph Fasel, Los Alamos National Laboratory September 28, 1999 翻訳：山下 伸夫 <nobsun@sampou.org> これは、「やさしい Haskell 入門 (バージョン98)」のHTMLバージョンです。 目次要約 イントロダクション 値、型、その他の有用な概念 関数 case 式とパターン照合 型クラスとオーバローディング 再び、型について 入出力 標準の Haskell クラス モナド 数 モジュール 型付けの落し穴 配列 この先の学習 参考文献 目次 このHaskell Tutorialのマスター文書は、 haskell.orgにあります。このレポー トの訂正や変更はすべてそこに反映されるようになっ
A Beamer Tutorial in Beamer
Beamer Tutorial A Beamer Tutorial in Beamer Charles T. Batts April 4, 2007 Department of Computer Science The University of North Carolina at Greensboro Revised by Michelle Bodnar and Andrew Lohr 2013 Foundations of Computer Science Beamer Tutorial Outline Outline 1 About Beamer 2 Templates 3 Frames 4 Sections and Subsections 5 Text 6 Alignment and Spacing 7 Lists 8 Overlays 9 Tables 10 Frame Stru
OCaml 標準ライブラリ探訪 #1: Pervasives: 最も使われてるのに最も名前が知られていない奴 - camlspotter’s blog
関連リンク: OCaml 標準ライブラリ探訪 #0 標準ライブラリ探訪第一回は Pervasives です。 OCaml ソースファイルを持っている場合には ${srcdir}/stdlib/pervasives{.ml,.mli}、ライブラリディレクトリを見ている場合には ${libdir}/pervasives{.ml,.mli} *1 を見てください。 ところで、Pervasives って単語、知ってましたか？私はいまだに OCaml 以外でこの単語を見たことがありません。"pervert" じゃないですよ、"pervasives" です: Pervasives : [adj] 行き渡る、普及する、広がる傾向にある、(全面的に)広がる、拡散的な、広範囲な、まん延する 英辞郎 なんだかよくわかりませんね。でも、 Pervasives モジュールは OCaml で最もよく使われるモジュー
Vim Advent Calendar 2013 : Vim を使っている/始めたいなら読んでおきたい Web の記事 - C++でゲームプログラミング
この記事は Vim Advent Calendar 2013 1日目の記事になります。 さて、今年も Advent Calendar の季節がやってきましたね！ 今年もがんばって行きたいと思います。 また、去年の Vim Advent Calendar はこちらになります。 今年1発目の記事って事で簡単に Web 上の記事をまとめてみたいと思います。 [初心者 - Vim を始めた人、始めようと思っている人向け] Learn Vim Progressively mattn さんによる「Learn Vim Progressively」の翻訳記事です Vim の習得する為の内容です Vim初心者の自分が、初心者の視点からVim入門を書いてみました。 初心者目線で書かれています これから Vim を始める場合に入りやすいと思います これだけ知っときゃなんとかなるVim これだけ知っておけばなんと
Git を学ぶ - チュートリアル、ワークフローおよびコマンド | Atlassian
Git は、元々 Linus Torvalds によって 2005 年に作られた、無料でオープンソースのバージョン管理システムです。他の SVN や CVS といった中央バージョン管理システムと違って、Git は分散型で、すべての開発者がローカル環境で彼らのコードのリポジトリの完全な履歴を持っています。これは、最初のリポジトリのクローン作成に時間がかかりますが、commit、blame、diff、merge、log といったこれに続く作業を劇的にスピードアップします。 Git は多くの革新的で強力なワークフローやツールにつながる、リポジトリ履歴のブランチ、マージ、および書き換えに非常に役立ちます。プル リクエストは、チームが Git ブランチでコラボレーションを行い、他のコードを効果的に見直すことができる、非常に人気のツールです。Git は現在世界で最も広く使用されているバージョン コント
zsh の補完関数の自作導入編
# 補完を有効にする autoload -U compinit compinit -u # 補完メッセージを読みやすくする zstyle ':completion:*' verbose yes zstyle ':completion:*' format '%B%d%b' zstyle ':completion:*:warnings' format 'No matches for: %d' zstyle ':completion:*' group-name '' 補完関数のルール $fpath の通ったディレクトリに補完関数を置く nyan コマンドの補完関数なら _nyan という名前で保存する 補完関数の先頭には #compdef nyan と補完対象のコマンド名を書く ファイル名と同じ名前の関数を作りその中に補完関数を書く ~/zsh/functions/_nyan
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Git Tutorials and Training | Atlassian Git Tutorial
http://courses.cms.caltech.edu/cs134/cs134b/book.pdf
Rust By Example Has Moved
The Rust Tutorial