今日は "GO GLOBAL" meetup #1 の日です - Pixel Pedals of Tomakomai
"GO GLOBAL" meetup #1 に参加していますので、自分用のメモを残しておきます。 コーディング試験Codility運用の実態と実績 / @k0000i さん コーディング試験とは : コンピュータサイエンスの理解度を見る amazon, Intel, EA など 多数の言語に対応。VBとか 応募すると、コーディング試験を受けるようメールが来る 2時間で2問を回答する IDEは使用可能 デモテストや練習問題がある 受けておくとスコアを上げられるでしょう 正確性とパフォーマンスのスコアの平均 正確性 : バグがないか パフォーマンススコア : 大きいデータを突っ込んだ場合 コードテストだけで実力を図ることは不可能 能力は面接で直接確認する 例えばGoogleの試験では、バイナリ木を反転できないと落ちる (homebrewの作者談) 時間の使い方も見ている コーディングの過程を動
perlunitut - Perl Unicode Tutorial - Perldoc Browser
CONTENTS NAME DESCRIPTION Definitions Unicode UTF-8 Text strings (character strings) Binary strings (byte strings) Encoding Decoding Internal format Your new toolkit I/O flow (the actual 5 minute tutorial) SUMMARY Q and A (or FAQ) ACKNOWLEDGEMENTS AUTHOR SEE ALSO #NAME perlunitut - Perl Unicode Tutorial #DESCRIPTION The days of just flinging strings around are over. It's well established that mode
今日は Haskell Day 2018 の日です - Pixel Pedals of Tomakomai
Haskell Day 2018 に来ましたので、自分用のメモを残しておきます。タグは #HaskellDay です。 作りながら学ぶHaskell入門 / @igrep さん 会場、懇親会のスポンサーは IIJ 様 (ありがとうございます！) mmlh コマンドで各自進める 課題の自動添削、たまにヒントを出してくれる わからなかったらメンターへ聞く Haskellを導入した話とHRRの紹介 / @khibinoさん 2008年 PerlからJavaを呼び出していた メンテナがいない、型検査がない Java, UNIXとの親和性があまりない 検討 => Common Lisp, OCaml, Haskell Haskell の unix パッケージが良かった 2010年から debian lenny, GHC 6.8 (cabal installがまだない) PerlをHaskellに書き
ユニフィケーション - Wikipedia
ユニフィケーション（英: unification）は数理論理学や計算機科学の用語であり、充足性（英語版）問題を解く際のアルゴリズム的プロセスである。ユニフィケーションは、見た目の異なる2つの項（英語版）が同一[1]または同等[2]であることを示す置換（英語版）を求めるのが目的である。ユニフィケーションは自動推論、論理プログラミング、プログラミング言語の型システムの実装などに幅広く用いられている。 なお、ユニフィケーションを単一化あるいは統一化とも呼ぶ。 主なユニフィケーションは数種類ある。等号を持たない論理（理論）において、2つの項が同一であることを示すためのユニフィケーションは統語論的ユニフィケーション[3]と呼ばれる。空でない等号を持つ論理（理論）で2つの項の同等性[4]を示す場合、それを意味論的ユニフィケーション[5]と呼ぶ。置換は順序集合として順序付けられるので、ユニフィケーション
『JapanTaxi』アプリからの広告利用目的でのデータの取得・利用の停止及び位置情報データ全削除のお知らせ - 株式会社フリークアウト・ホールディングス
※フリークアウトのターゲティング広告の無効化はこちらからお願いいたします。 Webブラウザでのターゲティング広告の無効化 iOSアプリターゲティング広告の無効化 (IDFAの制限手順) Androidアプリターゲティング広告の無効化 (Google Advertising IDの制限手順) 株式会社フリークアウト・ホールディングス及び株式会社フリークアウト(以下、弊社グループ)ではこのたび、協業先であるJapanTaxi株式会社(以下、JapanTaxi社)が提供する『JapanTaxi』アプリ（以下、JapanTaxiアプリ）から、広告利用目的での位置情報データを含むデータの取得・利用を停止し、また過去にJapanTaxiアプリから取得された位置情報データもすべて削除いたしましたことを、お知らせいたします。 弊社グループでは2016年1月より、JapanTaxiアプリからの広告利用目的で
プログラマのための圏論勉強会に落選した人の会 #cocat4pg
hiratara @hiratara 来週、 #cat4pg に落選してしまった人で集まる会をやりたいです。 #圏論の基礎 を一人で読むのに疲れてしまった人も歓迎。壱大聖域にある圏論のpdfをしんみりと読めるとこまで読みましょう。 人数が集まってから会議室を予約するので、早めの登録をお願いします。 #cocat4pg connpass.com/event/104371/ 2018-10-09 13:19:26
告知：第一回層圏トポス米田フェスティバル@矢上祭 - hiroki_f’s diary
「第一回層圏トポス米田フェスティバル@矢上祭」 開催が決定しました。 第一回層圏トポス米田フェスティバル(10月10日)@矢上祭 をやります。祭りでは主に復習にして、参加できない人に配慮するとともに新規参加者を迎える場所にしたいと思います。 第一回層圏トポス米田フェスティバル(10月10日)@矢上祭 こんにちは、圏論に興味ありませんか？圏論は、プログラム言語の背景として使われたり数理物理で操作を考察するための道具として使われたりしている数学です。 圏論は異なる現象から共通する数学的構造を抽出します。圏論を理解するとロジック、コンピューターサイエンス、物理のつながりが見えてきます。 層圏トポス勉強会では、第二第四土曜日(12:00-19:00)に慶應大学矢上キャンパスにて竹内外史の「層・圏・トポス」を読み進める勉強会を行っています。 本フェスティバルは、朝から夜まで米田のレンマをやる一日限り
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
an answer of https://github.com/haskell-jp/makeMistakesToLearnHaskell/blob/master/assets/2.5.md
repl command - The Haskell Tool Stack
http://twitter.com/i/web/status/1055473702458933248
http://twitter.com/i/web/status/1054566805081976832
「数学デー」公式 on Twitter: "数学デーについて③ 毎週金曜日は #Φカフェ数学デー です。角川本郷ビル六階のΦカフェ様（https://t.co/C2EONCno1A）をお借りしています。 大江戸線本郷三丁目駅より徒歩三分、丸ノ内線本郷三丁目駅より徒歩五分。1… https://t.co/yilaKHLM7Y"
ゆうな on Twitter: "毎週金曜、#φカフェ数学デー にて ゆる圏↻ やってます！ https://t.co/9ATA72xffx"
すぴスラ _(:3」∠)_ on Twitter: "#cocat4pg のcoは「共」の「co-」かしらん"
nzᴉɯᴉɥS ᴉʞnsʇɐ⊥（旧 s.t.） on Twitter: "明日の持ち物らしいので、どうせだから小冊子の形で印刷してみた。遠足のしおりっぽさを感じる。 https://t.co/a8yXoYC9nX"
H. Miyoshi (ALC Japan is rescheduled in 2025) on Twitter: "いやあのタイトルは当時マオイズムに傾倒していたらしいLawvereに対するしゃれなので，「労働」のニュアンスは外せないのです。 RT @u23mjag: それだったらシンプルに ｢数学者のための圏論｣ で良かったと思ってしまいます (^_^;) RT @oto_oto_oto:"
http://twitter.com/i/web/status/1050541041625919489
hiratara on Twitter: "来週のプログラマのための圏論勉強会に落選した人の会に参加したい方いませんか。後2名人数が増えたら会議室取りますので、興味のある方はぜひ遊びにいらして下さい。 本編に当選していて来れない方も、適度に拡散して頂けると！… https://t.co/Qf5Ph3xFiQ"
nzᴉɯᴉɥS ᴉʞnsʇɐ⊥（旧 s.t.） on Twitter: "@hiratara 対象に ・プログラマのための圏論勉強会に落選してしまった人 とあるのですが、 #cat4pg に申し込んでなかった人間も参加できますか？"
nzᴉɯᴉɥS ᴉʞnsʇɐ⊥（旧 s.t.） on Twitter: "可能な限り最短でKan拡張に到達する pdf で時間内に Kan 拡張に到達できるのかチャレンジ のチャンスっ💪💪💪"