Web系に転職したいエンジニアが「N予備校」の「Webアプリ入門」をやるべき5つの理由 - #がみぶろ
しがないラジオパーソナリティのgamiです. N予備校のプログラミングコースを始めて、 「Webアプリ入門」コースがすごく良かったので、紹介します. N予備校ってなあに？ www.nnn.ed.nico ドワンゴが提供するeラーニングサービスです. 主にN高等学校向けに作られているようですが、一般向けにも提供されています. 無料体験もできますが、基本的には月額1,000円を払うと全てのサービスが使えるようになります. 上記URLにアクセスすると、「ネットで志望校へ一直線！」とか出てくるので不安になりますが、高校生の親から主に収益を得ているサービスだと思うので、そこに最適化されているだけです. N予備校のプログラミングコース www.nnn.ed.nico N予備校は主に高校生向けなので、英語とか社会とかの受験科目のコースも当然あります. ただし、プログラミングコースの力の入れ方がすごいです
ブラウザ上でAgdaを試せるサイトを作ってみた - ぼくのぬまち 出張版
この記事は Theorem Prover Advent Calendar 2014 の4日目の記事です． Agdaがコンパイルできないんだがとか，agda-modeってEmacsだけなんでしょ？とか，そういった話をちょくちょく耳にするし，ProofSummit2014で明日の記事担当のamutakeくんがブラウザからCoq使えるやつを発表してたりしたので，Try Agda というサイトを作ってみた． リポジトリはここ https://github.com/notogawa/agda-interactive-server バックエンドはHaskellでwai+warp+websocketでAgdaのライブラリからAgdaを直に利用．フロントはjquery+ACE editor．画面レイアウトはもちろんbiim兄貴リスペクトだ． サーバ強くないし，あんまりデカい証明に使ったりするとガバガバなリ
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
