2017-12-01から1ヶ月間の記事一覧

2017年12月31日のツイート

window.twttr = (function(d, s, id) { var js, fjs = d.getElementsByTagName(s)[0], t = window.twttr || {}; if (d.getElementById(id)) return t; js = d.createElement(s); js.id = id; js.src = "https://platform.twitter.com/widgets.js"; fjs.paren…

gibo と git-flow をインストールした

myuon.github.io という記事で、 gibo と git-flow を知った。あ、git-flow は以前にもググったことがあったが忘れていた。 gibo は .gitignore をプロジェクトごとに自動生成してくれるツール。各種言語に対応している。 対応言語は gibo -l で表示してくれ…

2017年12月30日のツイート

window.twttr = (function(d, s, id) { var js, fjs = d.getElementsByTagName(s)[0], t = window.twttr || {}; if (d.getElementById(id)) return t; js = d.createElement(s); js.id = id; js.src = "https://platform.twitter.com/widgets.js"; fjs.paren…

GitClaken を使ってみた

コマンドラインでは git clone でgithub に作ったリポジトリをローカルにクローン git add で、ローカルなリポジトリにファイルを追加。 git commit でバージョン管理の対象にし、コミットメッセージをつける git push でgithub のリポジトリにも反映 といっ…

2017年12月29日のツイート

window.twttr = (function(d, s, id) { var js, fjs = d.getElementsByTagName(s)[0], t = window.twttr || {}; if (d.getElementById(id)) return t; js = d.createElement(s); js.id = id; js.src = "https://platform.twitter.com/widgets.js"; fjs.paren…

【関数型言語】IDEのインストール

今までコマンドラインツールでコードを書いていたが、試しにIDEも使ってみることにした。 ググッて見ると、 scala, elixir, haskell の全てに対し、 IntelliJ Community Edition が対応していることがわかった。(^^) 最初に Windows10 に IntelliJ をインス…

2017年12月24日のツイート

window.twttr = (function(d, s, id) { var js, fjs = d.getElementsByTagName(s)[0], t = window.twttr || {}; if (d.getElementById(id)) return t; js = d.createElement(s); js.id = id; js.src = "https://platform.twitter.com/widgets.js"; fjs.paren…

【関数型言語】scala関連ツール

開発に必要なツール類をリストアップしてみる。 ビルドツール デバッガ テスティングフレームワーク モックライブラリ 統合開発環境 ビルドツール sbt 一択の模様。パッケージ管理、プロジェクト管理なども兼ねているみたい。 デバッガ 不明。調査が必要。 …

【関数型言語】勉強の進め方

[Scala関数型デザイン&プログラミング ―Scalazコントリビューターによる関数型徹底ガイド](http://amzn.asia/1I1hIlZ) は、演習問題が多数あるのがとてもよい。 関数型言語を理解するのに、複数の言語を比較してみようと思う。 C++ Java Scala Haskell elixi…

2017年12月18日のツイート

window.twttr = (function(d, s, id) { var js, fjs = d.getElementsByTagName(s)[0], t = window.twttr || {}; if (d.getElementById(id)) return t; js = d.createElement(s); js.id = id; js.src = "https://platform.twitter.com/widgets.js"; fjs.paren…

2017年12月17日のツイート

window.twttr = (function(d, s, id) { var js, fjs = d.getElementsByTagName(s)[0], t = window.twttr || {}; if (d.getElementById(id)) return t; js = d.createElement(s); js.id = id; js.src = "https://platform.twitter.com/widgets.js"; fjs.paren…

【C++11】コレクションとスマートポインタ

標準ライブラリのスマートポインタには std::unique<T> と std::shared_ptr<T> がある。 また、コレクションには vector list map set などがある。コレクションに格納する型も 値(実体)T 参照 T& 生のポインタ T* と、上記2種類のスマートポインタがある。 コレ</t></t>…

2017年12月10日のツイート

window.twttr = (function(d, s, id) { var js, fjs = d.getElementsByTagName(s)[0], t = window.twttr || {}; if (d.getElementById(id)) return t; js = d.createElement(s); js.id = id; js.src = "https://platform.twitter.com/widgets.js"; fjs.paren…

2017年12月09日のツイート

window.twttr = (function(d, s, id) { var js, fjs = d.getElementsByTagName(s)[0], t = window.twttr || {}; if (d.getElementById(id)) return t; js = d.createElement(s); js.id = id; js.src = "https://platform.twitter.com/widgets.js"; fjs.paren…

2017年12月08日のツイート

window.twttr = (function(d, s, id) { var js, fjs = d.getElementsByTagName(s)[0], t = window.twttr || {}; if (d.getElementById(id)) return t; js = d.createElement(s); js.id = id; js.src = "https://platform.twitter.com/widgets.js"; fjs.paren…

2017年12月07日のツイート

window.twttr = (function(d, s, id) { var js, fjs = d.getElementsByTagName(s)[0], t = window.twttr || {}; if (d.getElementById(id)) return t; js = d.createElement(s); js.id = id; js.src = "https://platform.twitter.com/widgets.js"; fjs.paren…

2017年12月04日のツイート

window.twttr = (function(d, s, id) { var js, fjs = d.getElementsByTagName(s)[0], t = window.twttr || {}; if (d.getElementById(id)) return t; js = d.createElement(s); js.id = id; js.src = "https://platform.twitter.com/widgets.js"; fjs.paren…

2017年12月02日のツイート

window.twttr = (function(d, s, id) { var js, fjs = d.getElementsByTagName(s)[0], t = window.twttr || {}; if (d.getElementById(id)) return t; js = d.createElement(s); js.id = id; js.src = "https://platform.twitter.com/widgets.js"; fjs.paren…