Shop exclusive designer menswear at oki-ni.com. Designer brands and labels include Maison Martin Margiela, Rick Owens, Jil Sander, Marc Jacobs...SALE - Up To 50% OFF oki-niセールも第二ステージへと突入。 ALL秋冬アイテムを最大50%オフまで値下げしました。 SHOP SALE
serverspecとdocker-apiでDockerfileをTDD いくつかDockerfileを書いてきた.今書いているDockerfileは短くてシンプルなものばかりだが,もっと長く複雑化した時に不安になりそうだ.不安を解消するにはテストしかない.さらにテスト駆動的にDockerイメージを開発できたら素敵だ.つまり, テストを書く Dockerイメージを作成して,テストの実行 -> RED Dockerfileの編集 Dockerイメージを作成して,テストの実行 -> GREEN テストを… の流れができるとよい. ということで,RSpecを使ってTDDでDockerfileを開発するというのをやってみた,tcnksm/docker-rspec.今回実現したのは以下. Docker Remote APIでDockerfile特有のコマンド(e.g, CMDやEXPOSE)のRSp
LWN.net is a reader-supported news site dedicated to producing the best coverage from within the Linux and free software development communities. See the LWN FAQ for more information, and please consider subscribing to gain full access and support our activities. [Development] Posted Mar 7, 2024 15:46 UTC (Thu) by koenvervloesem While programmers are used to having tools to check their code for st
LINEUP nishikawaの[エアー]はマットレス、ピロー、コンフォーター、ソファ、ベッドとラインナップが豊富
Proof GeneralでCoqファイルを開くと、holes-modeというマイナーモードが立ち上がります。 個人的にはC-c C-jを、カーソルの位置まで証明を進める (proof-goto-point) にバインドしたいのですが、holes-modeのバインドに消されて厄介なので、アドバイスを使ってholes-modeを無効にしてみました。 以下のコードを.emacsに追加するればOKです。 (defadvice coq-mode-config (after deactivate-holes-mode () activate) "Deactivate holes-mode when coq-mode is activated." (progn (holes-mode 0)) )
じぇねらるたんのステッカーをいただけることになったので, ProofGeneral をインストールしてみた記録. ついでに Emacs も最新の 24.3.1 にしてみた. ProofGeneral についてはこちら. → http://proofgeneral.inf.ed.ac.uk/download Emacs 24.3.1 はここからビルド済みのものをダウンロード. → http://emacsformacosx.com これですんなりインストールが済むかと思いきや, バイトコンパイルでエラーが出た. In toplevel form: generic/pg-response.el:104:23:Error: `special-display-regexps' is an obsolete variable (as of 24.3); use `display-buffer-ali
プログラミング Coqを参考に、CoqとCoqIDEを入れて試してみたが、 どうもCoqIDEの動きがおかしい。時々固まったり変な動作をする。 周りの人に相談したところ 「CoqIDEは使いものにならないからProof Generalを使え」 と言われたのでProof Generalとやらを入れてみた。 Emacs上で動く便利なものらしい。 以下はただのメモ書き。 * ダウンロード * 公式サイトからダウンロードする。 現時点のバージョンは4.0のようだ。 * インストール * 公式サイトの説明に従い、ファイルを展開して、 .emacsにload-fileを追加。 試しにEmacsで拡張子がvのファイルをひらいてみるが、 「Emacsのバージョンが23.1じゃないからダメ」 と怒られる。これまた公式サイトの説明に従いmake。 make clean make compile EMACS=`
What is Proof General? Proof General is a generic interface for proof assistants (also known as interactive theorem provers), based on the extensible, customizable text editor Emacs. Proof General has been developed at the LFCS in the University of Edinburgh, mainly by David Aspinall, with contributions from other sites. It is distributed under the conditions of the GNU General Public License v3.0
請求書をもっとラクにつくるなら「Misoca」 「エクセルが苦手」 「入力するだけで自動作成できるツール探している」 「請求業務に時間をかけたくない。クラウドで作成・管理を検討している」 という方は、ミスなくカンタンに請求書が作れるMisocaがおすすめです。 Misocaなら必須項目があらかじめ設定されているから、項目に沿って入力していくだけで請求書が完成! 消費税(内税・外税)や源泉税などにも対応しており、計算ミスを防ぐことができます。 ロゴや社印も登録したものを自動出力するから請求書が素早く!カンタン!正確!に作成できます。 →Misocaを使ってみる 請求書のテンプレート・ひな形・フォーマット 「請求書ってどうやって作ればいいんだろう」 「請求書の書き方がわからないから、テンプレートや見本がほしい」 「エクセルの関数が苦手で、請求書作りに困っている…」 そんなお悩みをお持ちの方へ、
法人の不要になったパソコンの処分に困ったらパソコン回収.comにご相談ください。 プロのノウハウで安心安全・確実に回収、データ消去を実行します。 リユース・リサイクルすることで環境に配慮し、CO2削減にも貢献します。
最近のフレームワーク、っていうとどれもRailsと似たような感じで実装言語が違うだけでしょ?という感じですが、Liftはそんな中完全に逆を行ってます。 その思想は他の言語でも通用するはずなので、ぜひScalaなんぞ知らんという方も読んでいただければと思います。 Liftの特徴 公式な特徴はホームページに記載されていますが、個人的にプッシュしたいのは以下点です。これらは、Templatingに詳しく書かれています(日本語訳)。 1 デザイナフレンドリー 2 コントローラーがない 3 速い デザイナフレンドリー 自分の手元にあるerbやらjspやらasp(chtml/vbhtml)やらのファイルを見て、これをサーバーサイド側の言語を知らない人間に手渡せるか?と考えたときYesと言える人はどれくらいいるでしょうか。 それらのファイルにはそこそこコードが入り組んでいて、特にRailsの場合顕著です
タブレットとしてもノートPCとして使える即戦力の“2in1”デバイスが欲しいならば、やはり避けて通れない存在か――。 2013年10月25日に国内で発売された「Surface Pro 2」は、Microsoft純正のWindowsタブレットである「Surface」シリーズの上位機種だ。下位の「Surface 2」はARM系プロセッサとWindows 8.1 RTを搭載した限定的な利用シーンに限られるタブレットだが、Surface Pro 2はx86プロセッサと64ビット版Windows 8.1 Proを備えたタブレットPCとなる。 2013年6月7日に国内販売が開始された前モデル「Surface Pro」と比較して、CPUを第3世代Core(開発コード名:Ivy Bridge)のCore i5-3317U(1.7GHz/最大2.6GHz)から第4世代Core(開発コード名:Haswell)
Dell XPS 13 Developer Edition review (Haswell, late 2013 model) Please note: I've updated this review in several spots and have highlighted these updates like this. Please also check out the comments-section below, there are some very good remarks and suggestions. The XPS 13 Developer Edition, aka "Project Sputnik", is a laptop with a FullHD 13-inch screen, backlit keyboard, SSD, 4th gen intel CPU
Today Light Table is taking a huge step forward - every bit of its code is now on Github and along side of that, we’re releasing Light Table 0.6.0, which includes all the infrastructure to write and use plugins. If you haven’t been following the 0.5.* releases, this latest update also brings a tremendous amount of stability, performance, and clean up to the party. All of this together means that L
Vimでカレンダーといえば, mattnさんのcalendar.vimが有名でした. mattn - calendar-vim しかし, 私には以下の不満点がありました. 現在のVim Scriptから見ると, Vim Scriptの基本的な要素(文字列と数字)しか使っていない. ぶっちゃけ, コードが読みにくいし拡張しにくい. 日付の計算, 表示部の構成など, 様々な要素が一つのファイルに書かれていて, ごちゃごちゃになっている. キーボード入力に対して, インタラクティブでない. 例えば, hを押した時に隣の日に移動しない. 自分でカレンダーを一から書いてみたくなったんです. というわけで... calendar.vim作りました itchyny - calendar.vim どうぞ使って下さい. :Calendarコマンドでカレンダーが開きます. スクリーンショットはこんな感じ. G
コミケの列に並んでたあたりのころから Docker 本格的に使ってます。このサイトもさっき Docker でデプロイするような感じにしました。 Docker の利点と欠点で 開発環境の配布が容易にできる プロダクトのデプロイにつかうにはなにかとキツい みたいな意見をわりと頻繁にみかけるのですが、逆じゃねえかと思ってます。これ開発環境の配布に使うの無理でしょ。各コンテナ使い捨て前提なんだし。 Docker をデプロイに使う際の問題点としては以下があります Dockerfile に 42 個しか命令かけないみたいなやつ なんだかんだでコンテナのビルドに時間がかかる コンテナの管理とかどうするのか リバースプロキシの設定とかどうするのか 一個目に関しては頑張ってください。僕はセットアップ用やデプロイ用のシェルスクリプトを ADD して RUN させるようにしてます。シェルスクリプトセットアップ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く