有理数とか有限体とかのはなし - Qiita
一部間違いがあります、本文中でも明記しましたが最初の終了条件はInt を覆っていません。 最後に訂正したバージョンとより厳しいquickCheck の結果も載せておきました。 Haskell Advent Calendar 2016 の10日目です。 去年は眺めているだけだったので今回枠取れたの嬉しいです！ レベル分け的にはAdvanced Beginner の一人が同じくらいのレベルの人に向けて書いてるつもりです、やや内容に初等整数論が含まれます。 あわよくばより詳しい人にトンテンカンカンと直していただきたい感じですが。 モチベーション 電卓などで(1/3) の計算をした後、答えに3 を掛けたことがある人、そしてそのとき1 に戻らなかった経験ある人もきっと多いことだと思います。 今回の話はそれにちょっと関係している、かもしれません。 今回は体を取り上げます、体と言うのはいわゆる四則演算に
Common Lispでプログラムを配布するには : セマンティックウェブ・ダイアリー
この記事はLisp Advent Calendar 2016の４日目の内容です． 「Common Lispで配布するアプリケーションの書きかた」について誰も書かないようなので，拙書「Common Lispと人工知能プログラミング」の第２０章，パッケージとモジュールの内容をここに公開します．本文中に他の章の内容への引用があることを，お断りしておきます．なお，この電子本はこちらから入手できます． プログラムを配布するときには，通常ファイル構造を一定に保つようにして，アプリをどこにおいても動くようにするが，そのためには最初にロードするプログラムのロード時のファイルパスネームを取りだして，それとのファイル構造的な相対的関係でプログラムをロードするようにする．そのとき，処理系依存性をなるべく少なくするには，ファイル関係についてpathnameを駆使することも重要となる．パスネームについては上記電子本
Last.Backend
Last.Backend starting beta 1 easy-to-use competitor of Kubernetes Last.Backend is releasing the first beta of an easy-to-use and easy-to-setup competitor of Kubernetes and announces the allocation of…
Netdata: The open source observability platform everyone needs
Netdata actively supports and is a member of the Cloud Native Computing Foundation (CNCF) …and due to your love ❤️, it is one of the most ⭐'d projects in the CNCF landscape! Why Netdata? Netdata is different. Our mission is to help you simplify and optimize your IT operations. Netdata provides high-fidelity data, real-time visualizations, reliable alerts, anomaly detection for every metric and a m
【2016年度】買ってよかったもの個人的リスト発表します！ |
週末にお酒も飲まずシステム開発に励もうと思っていた矢先にこんなツイートをしてしまった… かなり記事を書くのが億劫ではあるので💦💦 個人的ベストバイ記事を読んでみたい？ — クオンとトレーダー (@sys_tradingtech) 2016年12月9日 ので、なかなかリストするのが大変でしたが個人的な買ってよかったものをリストアップしました。 興味ある方は調べて見てくださいね！ それではどうぞ！ 【買ってよかったもの】 Fire TV Stick やっぱりこれは外せないかなー(・∀・)！ プライム会員ならぜひ買っておきたい逸品！結構最新の映画も見れるし種類も豊富だし、たくさんドラマもあるし、海外ドラマ見てしまったし、プリズンブレイクをシーズン４まで見てしまったし（…脱線 あとは最近AbemaTVも見れるようになったので音楽番組やThe Grand Tourも見れるし、麻雀もずっと見てしま
Day 4: cl-project - 八発白中
これは fukamachi products advent calendar 2016 の4日目の記事です。 今日はcl-projectについて話します。 コーディングスタイルの提唱 前回の記事のCavemanからは話が前後します。 Clackの思想は疎結合性と再利用性を高めることでした。それはClackを使ったアプリケーションだけでなくClack自身についても同様であり、つまりは一般的なCommon Lispアプリケーション自体の疎結合性を高めることも目指したものでした。 Common Lispにはアプリケーションの分割単位として「パッケージ」と「システム」があります。「システム」はプロジェクトの一つの読み込み単位であり、複数のファイルと複数のパッケージを含みます。 他のプログラム言語に親しんだ人には違和感があるかもしれませんが、Common Lispのパッケージはファイル単位と結びつい
Common Lisp Style Guide - Ariel Networks Labs
This is just a draft. Package One package per one file Strangely enough, in case of legacy CL programs, their packages are declared in one file (maybe named "package.lisp"). In other hand, we recommend to declare each packages in each files. You should always put like following code at the top of each Lisp files. (in-package :cl-user) (defpackage style-guide.core (:use :cl)) (in-package :style-gui
新Google翻訳をAPIから呼び出して、未翻訳の技術書読みまくるマンになる(1) - Qiita
こんにちはー。 11/16に新google翻訳が発表されました。 pythonから新Google translate apiを叩いて新翻訳結果が取得できましたので、やり方簡単にまとめます。 この内容はPython mini-Hack-a-Thon 第71回の発表物です。 前書き 基本的には、Googleの手順通りの内容です。英語バリバリ読める人はそちらを見てください。 (そもそも英語ができないからこんな記事を書いている！) Google Cloud Pratform(GCP)に触ること自体が初なので、試行錯誤しながらガチャガチャいじった結果です、あまりきれいに纏まっていません。 もっとうまいやり方ご存知の方は、ぜひより良い記事ををお願いしますね。 環境 windows10 python3 pyCharm cmd 手順 GCPサインアップ クレジットカード登録必須？ GCPでプロジェクトを作
YesodのCSRF対策の作法 - Qiita
Webアプリの脆弱性としてCSRF（クロスサイトリクエストフォージェリ）というよく知られた攻撃があります。詳細はここでは割愛しますので、IPAのページでご確認下さい。 Yesodは比較的堅牢で脆弱性を作り込みにくいフレームワークだと思いますが、CSRFについてもフレームワークレベルで対策が盛り込まれています。 formでの対策 YesodのHTMLテンプレートであるhamlet内でformを扱う場合、CSRF対策となるトークンをform内のhidden項目として持つ必要があります。 が、この項目はYesodが自動生成してくれるので、プログラマはMFormを返す関数の定義で、Htmlを引数に取るようにすればいいです。
git-lfsは大容量のファイルを扱うもので多量のファイルを扱うものではない - Qiita
git-lfsの説明については参考URLをどうぞ 参考 https://git-lfs.github.com/ http://qiita.com/kiida/items/0d51c43ac73f14f09f5a さてgit-lfsがver1.0になってgithub.comでもサイズ上限を気にしないでもいい最高の未来が訪れたぞやったー！とか思ったのですがぬか喜びでした。 結論から言うと、画像が沢山あって1GB以上あるリポジトリをgithub.comに置こうと思ったのにgit-lfsで扱ったら１ファイルあたりのオーバーヘッドがでかすぎて死んだ。 cloneがとにかく遅い 試しにリポジトリをひとつcloneしてみる。上のリポジトリは100KB程度の異なる画像を100枚コミットしてある。 git-lfsがインストール済みの状態でcloneすると自分の環境では9分ほどかかった。 というのも通常のgi
意外と知らないgoroutineのスケジューラーの挙動 #golang - Qiita
追記 その後GoConfernce2017で発表させていただき、その内容をまとめた記事を書いたので参考になれば幸いです。 GoConで発表してきたのでついでにruntime以下の知識をまとめていく #golang はじめに goroutineはGo言語の大きな特徴である並行処理を支える重要な機能です。 しかし、goroutineの仕組みについてしっかり理解しないままコードを書いてしまうと思わぬ挙動をしてしまうことがあるので注意が必要です。 今回はそんなgoroutineのスケジューリングの挙動についてまとめてみました。 僕自身がgoの書き始めの頃に引っかかった部分なので、初心者のgoroutineへの理解の助けになれば幸いです。 goroutineの特徴 goroutineは最小で2048byteなので、 Windows だと 1 MB、Linux だと 2 MB であるスレッドのデフォル
転職サービスまとめ
ここ7年で使ったことあるところだけ IT色強め 需要ある？ Wantedly 【特徴】 ・正社員募集してたり、フリーランス募集してたり、インターン募集してたりする ・エントリーじゃなくて「まずは話を聞きたい」みたいになってるのがありがたい。雑談のような面談から社長が出てきて１発で決まることもある ・掲載が安いとの噂で、ベンチャーや零細、社長1人しか居ない会社なども載ってる ・課金モデルよくわからんが、金いっぱい払うと上の方に表示されるとの噂（下の方に掘り出し物があったりする） ・ベンチャーや零細多いので、地雷もいっぱいある ・「応援する」がFacebookで回ってくるのは正直言うとウザい（個人の感想です） ・ちゃんと言うと、転職サービスっていうよりLinkedInみたいに、人材SNSにしたいらしい ・ベンチャーとか新しいことやりたいとか意識高い系なら外せないサービス ・CEOの仲さんが同い
ブロードキャスト — 機械学習の Python との出会い
ブロードキャスト¶ それでは，いよいよ本題のブロードキャストの説明に移ります． ブロードキャストとは， ndim や shape が異なる入力配列の間で，これらの属性を自動的に統一する機能です． ndim と shape を統一することで，それらの入力配列間で要素ごとの演算が可能になり，その次元数と大きさが統一された出力配列に演算結果を得ることができます． この機能により，例えば，次元数や大きさの異なる配列 a ， b ，および c があったとき，これらの配列の要素ごとの和を，明示的に変換を指示しなくても a + b + c のように簡潔な形で書けるようになります． 公式サイトのブロードキャストの規則 は次のとおりです． 次元数 ndim が最大の入力配列より次元数 ndim が小さい全ての入力配列は， shape の先頭に 1 を加えて次元数を統一する． 出力配列の shape の各次元
NumPyのブロードキャストのメモ - 唯物是真 @Scaled_Wurm
Pythonの行列演算ライブラリのNumPyはforループを使って計算すると遅いので、できるだけ行列演算やベクトル演算だけで計算を行いたい NumPyでは大きさの違うarray同士で計算するときのブロードキャストという仕組みがあります これを使うと複雑な計算が簡単なコードで計算できたりします 余談ですが、Rを使ったことがある人はベクトルの長さが足りない場合に定数倍で長さが合う場合は、定数倍にして長さを合わせて計算を行う的な処理があったのを覚えているかもしれません ブロードキャストはそれに似たような処理で、NumPyの場合は各次元の大きさが等しいか、あるいは片方の大きさが1の場合に計算ができます(次元数が少ない場合には先頭から大きさ1として次元を拡張する) 大きさが1の場合にどのようになるかというと、相手の大きさに合わせてコピーして拡大したものと計算したときの結果が得られます 以下の例だとベ
Why it's dangerous to outsource our critical thinking to computers
Google responded to negative coverage this week by reluctantly acknowledging and then removing offensive autosuggest results for certain search results. Type “jews are” into Google, for example, and until now the site would autofill “jews are evil” before recommending links to several rightwing antisemitic hate sites. That follows the misinformation debacle that was the US general election. When F
heap exploitationテク走り書き - 生きたい
これはCTF Advent Calenderの記事でもなんでもありません。 なんか最近CTFから退いていたので、色々とglibcのheap allocator周りのpwnテクに発展があったりしたかなあと思い眺めてたんですけど、面白いものはほとんどなかったと共に人の書き方があまりにも辛い感じになっていて、ボケが入っていて良く過去の記事を参照してexploitを書く僕からすると当てにならなくて辛かったので自分用に少しメモっておく。後皆雑にExploitationテクに名前つけすぎ。 House of *系 前々からあったテクだしよく使いはするんだけど他人のWriteup見てて名前が出てきてもどのテクがどれを指してるのかよく分からなくなるのでメモっとく House of Mind arena forgeして任意のアドレスをheapのアドレスで書き換えてるだけ。 sploitfunのブログ書き方が
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
胸をほぐす筋膜マッサージ 肩こり解消で効率も上がる 冬の肩こり完全撃退（2） - 日本経済新聞
Intel Compute Stick スティック型コンピューター LinuxUBUNTU搭載モデル BOXSTCK1A8LFC
【2024年版】USBハブのおすすめ25選。Type-Cに対応したモノもご紹介
Just say NO to Paxos overhead: replacing consensus with network ordering | the morning paper
COMP3012/G53CMP 2018/19: Main Page
買い物山脈 デル「Chromebook 11」 ～サブとして大活躍中のモバイルノート
Google DeepMind (301 Moved Permanently)