このエントリは Haskell Advent Calendar 2016 および Formal Method Advent Calendar 2016 の 23 日目の投稿です。のはずでしたがすでに日付が変わりました。謹んでお詫び申し上げます。 ちなみに 22 日目の担当者はそれぞれ Haskell Advent Calendar 2016 : heredocsの紹介 - Qiita Formal Method Advent Calendar 2016 : 農夫 山羊 キャベツ 狼 - Qiita です。偶然ですが同じ方が執筆担当ですね。 さて、本エントリでは Haskell の型の表現力をより豊かにする仕組み、 LiquidHaskell について概要を紹介します。使用するサンプルコードは Samples of Verification by LiquidHaskell · GitHub
WABTとは WABT: The WebAssembly Binary ToolkitとはWebAssemblyのテキスト表現とバイナリ表現(以降wast、wasm)関連のツール群です。cliとして提供されてます。 ツール群概要 ツール名 説明
Introduction UPDATE: we create a new tutorial using emscripten, which is a more standard way of working with webassembly. Webassembly is a new new standard being emerging that could be very used in the future, this technology is being developed in a W3C Community Group with Apple, Google, Microsoft and Mozilla. The initial focus of the project is C/C++, so this is not a high level lenguage. Webass
この記事は、Julia Advent Calendar 2016の17日目です。 Julia のコードを WebAssembly にしてみました。 TL;TR Julia コードから無理矢理 WebAssemblyを作れたことは作れたけど実用レベルにはほど遠かった。 はじめに 動機 WebAssembly といえば LLVM1、Julia といえば LLVM、ならば Julia コードを WebAssembly 化できるのではないか、という単純な発想です。 WebAssemblyとは Webブラウザのためのバイナリコードフォーマットです。 詳しくは、公式サイトを参照してください。とても変化が速いので、公式に勝る情報源はありません。 Qiita にも WebAssemblyタグ のついた記事がいくつかあります。 ただし、すでに内容が古くなっている記述も多いため、気をつけてください。 Juli
この記事はGoodpatch Advent Calendar 2016、21日目の記事です。 先日退職ブログを書いたばかりですが「今年も書いて良いよ」と言われ図々しく書いてます。 昨日はえんぴのQAについての記事でした。 qiita.com 私の記事ではタイトルの通り、ナイーブベイズを利用した自動カテゴリ判定器を先日作った話をしたいと思います。 参考にした記事 以下、こちらの記事にかなりお世話になっております。先人すばらしい。 qiita.com ナイーブベイズって何？ 昨年のこのアドベントカレンダーでベイズ理論の話をしましたが、その中でも語っているやつです。 migi.hatenablog.com 実は、これはGmailなどのスパムフィルターにも使われている技術です。 「出会い」や「寂しい」といったメールに含まれている単語それぞれに、その単語が含まれていた時にそのメールがスパムメールであ
なんとなく思い立って初めての電子工作。 用意したもの Arduino エントリーキット(Uno版） MPU-6050 ３軸ジャイロスコープ ３軸加速度センサー (2個) Arduinoをはじめよう 第3版 (Make:PROJECTS) Arduino Uno R3 購入したのは Arduino Uno R3 で電子工作のプロトタイプによく使われている。ぐぐると分かるけど、回路図やソフトウェアもたくさん公開されている。最近売られているものはアクリルの土台がついてくるので底面を気にせず置けて便利。 AVRマイコンが載ってて足にピンソケット経由でアクセスできる。専用のIDEからUSBケーブルで接続して、＃っぽい何か（よく分かってない）をコンパイルして書き込むことができる。I/O電圧は5Vらしいので、3.3V機器とアクセスする際には注意が必要？ UnoのI2Cバスは、SDA, SCLに専用のピン
2016 - 12 - 24 統計・R・Stan関連の本、用途別のオススメ10冊 書評 R Stan 年末年始向けに、比較的読みやすい本を中心にオススメします。 統計学 入門 色々読んでみましたが、現在決定版と言えるものは存在しないように思えました。個人的には、シグマと 積分 の復習、場合の数・数え上げの方法、確率、確率変数、確率密度、度数分布と ヒストグラム 、代表値・平均・分散、確率分布、同時分布、周辺分布、確率変数の変数変換、検定、散布図と箱ひげ図、回帰、相関あたりをRなどを使いながらシンプルに説明していく本があるといいと思うのですが、なかなかバランスのとれたいい本がありません。初歩の初歩しか説明してない、グラフが少ない、検定にページを割きすぎ、分厚い、ちょっと難しいなどの不満点があります。立ち読みして自分にあった本を選ぶのがいいと思います。ネットで検索して調べるのでもいいと思います
オープンデータ＋PostGIS＋Google Maps で観光マップを作ってみた
本エントリは PostgreSQL Advent Calendar 2016 の Day24 のエントリです。昨日は @mazudakz さんの「pg_stats_reporter をしくじった話」でした。読み応えあって面白かった。 さて、先日（と言っても結構前）、地理情報をPostgreSQLで扱う例として、巡回セールスマン問題をPostgreSQLで解きつつGoogle Mapsで可視化するエントリを書きました。 巡回セールスマン問題における最短経路をpgRoutingで探索する http://pgsqldeepdive.blogspot.jp/2016/09/pgrouting.html 今回は、もう少し進んでPostgreSQLにおける地理情報の検索とGoogle Mapsの動的な可視化を連動させてみましたので、その内容を紹介します。 実現したいことは、 観光に関連する情報をPos
Webサービスの開発は、ユーザ/顧客へ価値を早く届けるため、競合より早くリリースするため、人的リソースを無駄使いしないためなど、とにかく素早く進めたいものですね。一方で、開発を急ぐあまり品質を犠牲にすればかえって価値が失われたり、技術的負債が溜まって長期的なコストが大幅に増大する可能性もあります。開発速度とプロダクト品質は基本的にはトレードオフの関係にあるのでしょう。 開発速度と品質のどちらを優先するかはプロダクトの性質や、チームもしくは会社の状況によって異なるとおもいます。この状況の認識がチームメンバー間でずれていると、チームのパフォーマンスを最大限に発揮できないばかりか、チーム内の関係悪化も招きかねません。エンジニアたちとプロダクトオーナーの間の対立のようなありがちな問題の原因の一つかもしれません。 そこで、開発速度と品質のトレードオフをどう判断すべきかの基準を明確にして、原則それに従
はじめに こちらはiOS その2 Advent Calendar 2016の12月24日の記事です。 iOSアプリエンジニアが採用面接時に聞かれることってなんだろうと思い、ひねり出した100個の質問です。 ゼロベースで考えるのはさすがに困難だったので、以下に挙げられている記事をだいぶ参考にしました。 https://github.com/MaximAbramchuck/awesome-interview-questions#ios https://github.com/MaximAbramchuck/awesome-interview-questions#objective-c https://github.com/MaximAbramchuck/awesome-interview-questions#swift これらで紹介されているものは、実際にコードを見て応えるものもありますのでぜひ
これは はてなエンジニアアドベントカレンダー2016 23日目の記事です。 qiita.com developer.hatenastaff.com 昨日は id:takuya-a さんの文字列アルゴリズムの学びかたでした。 こんにちは、はてなでアプリケーションエンジニアとしてWebサービスやAndroidアプリ（たまにiOSアプリ）を開発しているid:takuji31です。 私は普段VimでPerlを書いているのですが、最近AtomでPerlを書きたくなってAtomの自動補完プラグインである「autocomplete-plus」のPerl用Providerを書いているので、今日はそのことについて話します。 先に謝罪しておきますと、本来はこのエントリーで公開しましたと告知する予定でしたが、まだ実用的なクオリティーには達していないので、開発中とお知らせするだけになります 🙇 github.c
これはなに？ はじめに AGCあれこれ Temporary I HOPEHOPEHOPE ASTRONAUT NOW LOOK WHERE YOU ENDED UP ふと気になりました いい時代ですね 1201&1202エラー なにそれ？ カ、カルマンフィルターだー！！！ カルマンフィルターの開発経緯 その他面白コメントアウト集 TRASHY LITTLE SUBROUTINES（つまんないサブルーチン） NUMERO MYSTERIOSO（神秘の数字） OFF TO SEE THE WIZARD COME AGAIN SOON HONI SOIT QUI MAL Y PENSE（悪意を抱く者に災いあれ）、NOLI ME TANGERE（私に触れるな） PINBALL_GAME_BUTTONS_AND_LIGHTS.agc おわりに 反省 参考文献 これはなに？ この記事はeeic Adv
これは自作OS Advent Calendar 2016の22日目の記事です。 『３０日でできる! OS自作入門』という（このアドベントカレンダーの5,6,9,15日目の記事のKさん著）本があります。 この本はhikaliumさんも書かれていましたが、まさに「OS自作における聖書」といえるような本で、例によって今回やったこともこの本が発端となっています。 実際何をやったのかというと、タイトルの通り「自作OSを自作エミュレータで動かしてみたい」と思ったので色々やってみた、ということです。 エミュレータと自作OS 突然ですが、「ソフトウェアを開発する」ということに着目した時、一般的なアプリケーションの開発とOSの開発の一番の違いはなんでしょうか？ 僕は、「デバッグに仮想環境を使うか使わないか」ではないかと思います。一般的なアプリケーション開発ではデバッグしようと思ったらとりあえず実行してみれば
この記事は CAMPHOR- Advent Calendar 2016 23日目の記事です。 JS知識ほぼ0は言い過ぎかもしれないが、いわゆるモダンJSというものには縁遠く、つい最近まで jQuery をブラウザからぽちぽちダウンロードして適当に ajax とか使う人生を送ってまいりました。(当然フレームワークとか使ったことない) まさしくこの記事みたいな状況 kikuchi1201.hateblo.jp 最近 TypeScript を書く機会があって、開発環境は用意されてるのでなんとなく書けるけど、エコシステムとかいろいろ全くわかってなくてこのまま旧石器時代然としたJavaScriptを書いていてはまずい気がすると思って勉強することにしました。 目標は TypeScript を使ってこんなんを作る、テストも書こうね(こんなのに何をテストするんだ) この記事では主に環境構築~DOM操作のテ
本記事では、私の知る最も割高なアンチパターンとなるプログラミングについて述べます。 それは、 構造化されたデータフォーマットを文字列関数を使って操作すること です。 以後これを” printfアンチパターン “と称します。 コスト 私がこれを”最も割高な”アンチパターンと呼ぶのは、根拠のない主張ではありません。 cve.miter.org のデータを使って 脆弱性をタイプ別にカウントし 、下記のように、上位を占める脆弱性のタイプ別リストを作りました。 rexec: 19268 DoS: 14849 xss: 9236 memory: 8212 sqlinj: 6230 privilege: 3321 dirtraversal: 2762 arith: 1260 csrf: 1117 私の方法に対する批判や良いご提案があれば遠慮なくどうぞ。 上位を見ると、XSSとSQLインジェクションの数が
こんにちは！はてなアプリケーションエンジニアの id:takuya-a です。 みなさんは、このような疑問をもったことはありませんか？ grep はどのように文字列を検索しているのか？ MeCab はどうやって辞書を高速にルックアップしているのか？ パーサやコンパイラを作りたいけど、何から始めればいいのか？ 本稿では、「文字列アルゴリズムとはどんなものなのか？」「なぜ重要なのか？」「何を知っておくべきか？」「どうやって勉強すればいいのか？」といった疑問にお答えしていこうと思います。 文字列アルゴリズムの意外な応用や、モチベーションを保ちやすい勉強のしかた、文字列アルゴリズムを勉強するために行った社内での取り組み、実装するときのコツといったトピックについても触れています。 このエントリは、はてなエンジニアアドベントカレンダー2016の22日目の記事です。昨日は id:syou6162 さんに
この記事はCrowdWorks Advent Calendar 2016 の24日目の記事です。CrowdWorksのエンジニアが毎日なにかを書きます。 昨日の記事は @suzan2go による「ラーメン屋で考えるRailsのデータモデリング」でした。 はじめに CrowdWorksは、2011年の創業以来、約5年間の開発を続けてきました。サービスの立ち上げ期においては、サービスの継続性・変更容易性を高めることよりも、サービスを成長させ、存続に繋がるフェースまで素早く立ち上げることが最重要な観点です。 一方で、サービス提供も5年が経過し、多くの方にご利用頂く「社会インフラ」に一歩ずつ近づいてきています。そういった環境の変化もあり、「日々改善し続ける」「日々変更し続ける」ことに重要視する観点が移り変わってきました。そのような価値観の変遷に取り組む過程で考えている「大規模で複雑な業務要件を担う
Prologの動作原理と自然言語処理 この記事はtraP Advent Calendar 2016の23日目の記事です。当日の朝に書くとかウッソだろお前！ Hello, Everybody. Davidです。この記事ではあまり聞きなれないPrologというプログラミング言語について書きます。PrologはいいぞHaskellはもっといいぞ 事前知識 述語論理に関して多少の知見があれば良いという程度です。 Prologはいわゆる論理型言語というプログラミング言語の一種ですが、論理のことが分かっていないと書けないわけではありません。Prologの動作原理に関するところではん？となるかもしれませんが本筋では無いのであまり気にしなくて良いでしょう。一応参考となる論理学の本を2冊ほど挙げておきます。 https://www.amazon.co.jp/情報科学における論理-情報数学セミナー-小野-寛晰
フローチャートを書く能力はプログラマーにとって必須スキルであり、優秀なプログラマーになるための第一歩です。なぜなら、フローチャートの有無、もしくはフローチャートの内容次第で出来上がるプログラムの品質に大きな差が出るためです。だからこそ、若手プログラマーやSE教育の場で必ず登場するのです。 しかし、フローチャートというテーマは、それだけで書籍１冊になるほどの分野であり、多忙なIT業界においていかに効率的に学習するか悩んでいる方も多いと思います。 プログラマーとしてスキルを高めたいが… 実はそもそもフローチャートのことをよく理解していない 最低限の知識で良質なフローチャートを作りたい フローチャートを書くことに自信がないが、今さら人には聞きづらい このようなことをお思いではないですか？このような悩みから解放頂けるよう、最短ルートで良質なフローチャートを書くための方法を１ページにまとめました。
Downloads Boost your DevOps efforts with JFrog’s free downloads and offerings, including Artifactory OSS, the world’s best open source repository manager, and Conan OSS Package Manager for C/C++! JFrog Cloud Free Trial Subscription Start your modern DevOps journey with next-gen artifact management, security scanning and CI/CD orchestration.
何の話かというと Google Cloud MLを利用して、TensorFlowの分散学習を行う方法です。取り急ぎ、自分用のメモとして公開しておきます。 分散学習にはいくつかのパターンがありますが、最もシンプルな「データ分散」の場合を説明します。各ノードは同じモデルに対して、個別に学習データを適用して、Variableを修正する勾配ベクトルを計算します。それぞれで計算した勾配ベクトルを用いて、共通のVariableを修正していきます。 前提知識 TensorFlowの分散学習処理を行う際は、3種類のノードを使用します。 ・Parameter Server：Workerが計算した勾配ベクトルを用いて、Variableのアップデートを行います。 ・Worker：教師データから勾配ベクトルを計算します。 ・Master：Workerと同様の処理に加えて、学習済みモデルの保存やテストセットに対する
これはmixiグループ Advent Calendar 2016の14日目の記事です。 普段はXFLAGスタジオで主にサーバサイドのお仕事をしている @kodam です。キーボードは毎日使うのものですから、みなさんもこだわったものを使ってるかと思います。今回はキーボードをメンテナンスした話をします。僕は特にKinesisのお椀型のタイプが好きで、ここ最近流行りのErgodoxだとどうしても指が届かないのでKinesisを使い続けております。 学生の頃は静電容量方式のHappyHackingKeyboardを愛用していたのですが、弊社インターンシップにてCTOから借りパクした貰ったKinesisを使い続けてからはずっとこれを使い続けております。CTOから貰った初代Kinesisはかなり使い込まれていたせいか劣化しており現在ではチャタリングやノイズがのったりとストレスが溜まるので家のPCに繋い
こんな方にオススメなお話 無線通信したいけど、 XBee(*1)さんは¥2,500くらいして安くなったにせよ大量につかうと割高だし、 ESP-WROOM-02さん(*2)は¥1,000以下で安いけどWifiでネットワーク組むほどは... とよくばりなアナタに。 消費電力おさえめで、ネットワーク組むほど賢いのは不要、 ついでにいうと送信だけとかでもokですよ！って方には恐らくベストな選択肢、 315MHzさんのお話です。 ※ あとは通信速度もとめてたり、通信距離求めている場合は微妙かも。 ひつようなもの Arduino UNO x 2 https://www.switch-science.com/catalog/789/ 送信モジュール(315MHz) [RF315-TX5-R] http://www.aitendo.com/product/4138 VCC 1.8 - 3.6V
デフォルトFWのシリアル設定 * 115200bps, 8N1 * 改行コード: RX=CR, TX=CR+LF ※ 起動直後は76800bps でboot logが出力される． ets Jan 8 2013,rst cause:1, boot mode:(3,0) load 0x40100000, len 1396, room 16 tail 4 chksum 0x89 load 0x3ffe8000, len 776, room 4 tail 4 chksum 0xe8 load 0x3ffe8308, len 540, room 4 tail 8 chksum 0xc0 csum 0xc0 2nd boot version : 1.4(b1) SPI Speed : 40MHz SPI Mode : QIO SPI Flash Size & Map: 8Mbit(512KB+512K
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
