転職します - 反省はしても後悔はしない
この度、6年とちょっと勤めた SIer を退職することになりました。7月から来栖川電算という会社で働きます。本日5/31が最終出社日でした。 転職に至った経緯とか 今の会社はいわゆる大手 SIer なのですが、その中で自分の今後のキャリアを考えられなくなったのと主とするビジネスのやり方に疑問を持ったというのが転職の主な理由です。 キャリア的な問題 6年目ともなると会社的にはプログラミングは卒業して人やお金の管理とか顧客との折衝のような仕事を期待されるようになってきました。自分としては技術的なところで何かしら活躍したいという気持ちが強く上司にもそのことで相談したりもしたのですが、結果的には自分の思いが叶えられるようなキャリアを提示されることはありませんでした。 ビジネス的な問題 業界の中では比較的大きい会社なので部署によってはもしかしたら状況が違うのかもしれませんが、少なくとも自分の周りでは
Arch Linux (64bit) における SML# のビルド - 反省はしても後悔はしない
@c0hama めっちゃ流行ってるのでやりましょう— みずぴー(クッキー) (@mzp) 2014, 5月 5 どうやら巷では SML# をビルドするのが流行っているようなので、僕も乗っかってみました。 僕のメイン環境は Arch Linux (64bit) なのですが色々試行錯誤したらビルドできたので記録として残しときます。 Xubuntu 64bit でのビルドは、すでによんたさん (id:keita44_f4) が成功させているので僕もそれを参考にしました。 Xubuntu 64bitにおけるSML# 2.0.0のビルド - ししちにじゅうはち 4x7=28 32bit 用の gcc のインストール 32bit のバイナリを吐き出すために gcc-multilib を入れます。 sudo pacman -S gcc-multilib 普通の gcc とコンフリクトするというメッセージ
Vim で Coq 環境を整える - 反省はしても後悔はしない
はじめに 昨日、スタート Ssreflect というイベントに参加して、Coq + ssreflect のハンズオン的なものをやりました。 Coq 環境といえば、Emacs の ProofGeneral が非常に有名です。 しかし、私は Emacs は終了の仕方すら分からないレベルの初心者なので Emacs + ProofGeneral ではチュートリアルの例題を打ち込むだけでも非常に苦労しました。 証明も普段使い慣れている Vim で何とかできないかと思い調べたところ、そこそこ良さ気な環境を構築できたので紹介します。 使用するプラグイン 以下の2つをインストールします。NeoBundle のようなパッケージマネージャを使用するのをおすすめします。 jvoorhis/coq.vim vim-scripts/CoqIDE jvoorhis/coq.vim は Coq のシンタックスとインデン
OCaml のソースコードの型を表示したり定義にジャンプしたりする Vim のプラグイン作った - 反省はしても後悔はしない
この記事は Vim Advent Calendar 2012 の 185 日目の記事です。 昨日は id:deris さんの Vimでできる脱出系パズルゲーム でした。 はじめに OCaml という静的型付けの関数型言語があります。同じく静的な型をもつ関数型言語である Haskell とは異なり、副作用をもつ関数を定義したり破壊的な操作も行うことができます。 ところが、OCaml 界隈ではどうやら Emacs がデファクトのエディタらしく、Vim での開発環境の情報は非常に少ない、またあったとしも情報が古くなっているものが大半というのが現状です。 参考 OCaml.jp > 開発環境 (追記：更新されたみたいです) 私は Vim でも OCaml をやりたいと思い、プラグインを開発することにしました。 OCamlSpotter (ocamlspot) について 実は、OCaml のソースコ
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
