κeenです。Rustその2 Advent Calendar 20173日目の記事です。 クレートをcargo publishする前に何すればいいんだっけと毎回なるので備忘録 publishするまでの手順自体は過去記事を参考にして下さい version 上げ忘れないようにしましょう。cargo-bumpが便利かもしれません。 license 独自記法のライセンス表記をします。例えばMITとApache-2.0のデュアルライセンスなら"MIT OR Apache-2.0"など。略称はここで調べられます。 1つ気をつけないといけないのが依存ライブラリのライセンスに違反しないように気をつけないといけないということです。Rustは本体がそうなのでMIT OR Apache-2.0が多いようですがGPLのものもあるかもしれません。一々調べるのは難しいのでcargo-licenseを使うと便利です。

Firejail is a SUID sandbox program that reduces the risk of security breaches by restricting the running environment of untrusted applications using Linux namespaces, seccomp-bpf and Linux capabilities. It allows a process and all its descendants to have their own private view of the globally shared kernel resources, such as the network stack, process table, mount table. Firejail can work in a SEL

初心者が入門書を読んでさぁ書くぞとなったときにつまずくところのうちの一つが，同じようなライブラリが多すぎ問題である． ということでそういうライブラリの話をしよう． 例によって例のごとく間違っていること書いてあるかもなので報告よろしく． モナド変換子 Haskellで実用的なプログラムを書く上で避けて通れないものの一つにモナド変換子がある．こいつはなにかというと，簡単に言えば，モナドを合成してでかいモナドを作るやつである．人間がおおよそ使うであろうモナド変換子はライブラリで提供しているので，それらを組み合わせてお望みのモナドを作ろうとするわけだが，そこに立ちはだかるのがtransformersとmtlである． transformersとmtl transformersはlift という下位のモナドのアクションをでかいモナドのアクションに持ち上げてくれるメソッドが定義されたMonadTrans

-- 素朴なコード fib :: Int -> Integer fib 0 = 0 fib 1 = 1 fib n = fib (n - 2) + fib (n - 1) 数学的な定義をそのまま書き下した、Haskellらしい美しいコードですね！ ……なーんて感想を抱いた人はHaskell初心者です。計算機で動かすコードを「数学的な美しさ」で語ってどうするんですか？？？ 美しいバラにはトゲがあるように、美しいHaskellコードには罠があります。 この「素朴なコード」は非常に遅く、実用に耐えません。（この素朴なコードの出番があるとしたら「遅いコードの例」としてでしょう） 素朴なコードの問題点 例として、「素朴なコード」で fib 4 を計算してみましょう。 fib 4 = fib 2 + fib 3 = (fib 0 + fib 1) + fib 3 = (0 + fib 1) + fib

2018年12月25日発行の週刊誌に、本学女子学生を含む女性の名誉と尊厳を貶める記事が掲載されました。その内容は、該当する大学学生の安全を著しく脅かすものでもあります。本学では、この記事について深く憂慮し、週刊誌編集部に、再発防止を求める厳重な申し入れをおこないました。 「ダイバーシティ宣言」を発し、「人びとの権利を重んじ、多様性を認め合う『自由な校風』」(法政大学憲章)を掲げる大学として、本学では今後も、学生の安全を守り、女性を含めたあらゆる人の権利と尊厳が重んじられる社会の構築に貢献してまいります。 2019年1月9日 法政大学総長 田中優子

instance Monoid b => Monoid (a -> b) where mempty = ... (<>) = ... すぐに思いつかない人はちょっと考えたらわかるので、頭の体操だと思って考えてみましょう！ 今回は、この関数のモノイドの面白さについて書いてみたいと思います。モノイドといいつつ半群の話も含んでおります。 ヒント Monoid 型クラス まずは Monoid 型クラスの定義について簡単に復習しておきましょう。

すまほん!! » Android » Android端末のカタログ » 超ド変態Androidミラーレス「Yongnuo YN450」、LTE内蔵・キヤノンのレンズを交換可 キヤノン互換低価格レンズなどで知られる中国メーカーYongnuo（ヨンヌオ）は、4Gスマートカメラ「Yongnuo YN450」を正式発表しました。 センサーは16MP マイクロフォーサーズ、レンズはCanon EFマウント。RAW撮影可能、動画性能は4K/30fps。センサーはパナなのにレンズはキヤノン、この時点でもかなり変態なのですが、本機はそれだけにとどまりません。 5インチ FHDタッチスクリーンディスプレイを搭載。OSにはAndroid 7.1 Nougatを採用します。つまりGalaxy NXばりの変態Androidカメラ。ただしGoogle Playの搭載可否は不明。 Wi-Fiのほか、モバイルネットワー

The results are in!! The powerful Haskell community includes researchers who advance the language, and users who apply the language to solve real-world problems. Recently 1100 people took the time to respond to FP Complete's Haskell User Survey. Here are the key results. See the full report by clicking here. Executive Summary Haskell is thriving in a wide range of real-world uses, and growing rapi

（15:30 追記しました） やるせないのでここに書かせてほしい。 この前初めてIT系の勉強会に行った。 いままで勉強会というものに行ったことがなかった。 IT技術者はよく勉強会に行く。同業の知人にどうして行かないの？と聞かれたときに、コミュ障だから…と答えたことがあった。 それも理由のひとつだけど、本当は、私が女性で、変な人に絡まれたら嫌だな…と思っていたからだった。 （自分で言うのもなんだけど）愛想がよくて優柔不断なせいか、変な人に絡まれることも少なくない。 そして何より、変な人に絡まれたときに気持ちを切り替えられず落ち込んでしまうタイプなので、あまり不特定多数と交流したくなかった。 最近は女性限定の勉強会やコミュニティも活性化していてとても良い傾向だと思う。 ただ、私が関心のある言語についての女性限定勉強会はなかったので、一念発起してあるコミュニティに顔を出した。 コミュ障だけど交流

旧帝大の情報系の研究室を可もなく不可もない業績で出て、今年の4月からまあまあ大手のIT企業で働いている。 来年あたりから採用面接で学生と話すことになるかもしれないんだけど、表題の件についてインターネットの人達に聞いてみたい。 研究室でも、あるいはTwitterでも優秀（ここでは、たとえばトップカンファレンスにほぼ毎年論文を採択される程度の能力を指す）で口が悪い人はそれなりにいる気がする。そういう人ともし面接で話すことになったら、どう評価すればいいんだろうか。技術的に色々知っていて、日夜最新のトレンドに追いつくどころか更に先を行くために勉強/開発/研究に取り組んでいるが、自分がよくないと思ったものに対して「それゴミでしょ」などとバッサリ否定するような人を。 たとえば研究室にいる優秀な後輩は（その人が認めている）優秀な人とは普通に会話しているが、自分のような冴えない人間には冷淡で、Twitte

※現在閉店※【麻布十番】京都肉・京野菜・京地酒と京尽くし。京都の有名ステーキ店『CAMERON』が東京に進出！ [PR] 2017年9月29日、麻布十番駅から徒歩2分のところに京都発の有名ステーキ店『京都御幸町 CAMERON 京都肉×京野菜 カフェバル』がオープン！京都肉のステーキや京野菜のバーニャカウダなど京の食材にこだわったメニューがバルスタイルで楽しめます。先着で京らしさ溢れるお土産が貰えるキャンペーンもありますよ。

関数型プログラミング言語について詳しく解説しています。 他の言語と比較して何が便利なのか、どんなサービスに使われているのか気になる人は多いのではないでしょうか。 実際の開発現場でも採用し始めている企業が増えているので、これから学習しようと思っている人はぜひ特徴を知っておきましょう。 Java、JavaScript、PHP、Rubyなどの多くのメジャーな言語は命令型プログラミングと呼ばれる言語です。 オブジェクト指向言語も命令型プログラミングに含まれます。 では、いったい関数型プログラミングとは何なのでしょうか。 関数型プログラミングでは命令型プログラミングとは違って、基本的に関数のみで記述していきます。 for文などの文も関数で代用できるのです。 これにより、命令型プログラミングとは違い、問題を解く手順ではなく、問題の性質を表すことができます。 より数学に近い表現で書けるため、研究者たちに