はてなブックマーク

国民からNHKからNHKから国民からNHKを守る党を守る党からNHKから国民から国民を守る党を守る党からNHKから 国民からNHKを守る党を守る党からNHKから国民からNHKからNHKから国民を守る党から国民を守る党を守る党を守 る党を守る党から国民を守る党を守る党を守る党を守る党を守る党から国民から国民を守る党を守る党からNHK から国民からNHKを守る党を守る党から国民を守る党からNHKからNHKから国民からNHKを守る党を守る党から国民 を守る党を守る党からNHKから国民を守る党から国民を守る党を守る党を守る党からNHKから国民からNHKを守る 党を守る党から国民を守る党からNHKからNHKから国民からNHKを守る党を守る党から国民を守る党を守る党からN HKから国民を守る党から国民を守る党を守る党を守る党からNHKからNHKから国民からNHKを守る党を守る党から 国民を守る党を守る

この記事はlotzさんの「動的計画法を実現する代数〜トロピカル演算でグラフの最短経路を計算する〜」という記事を読んで、自分の問題に対しても応用できないかと考えた結果をまとめたものです。 先に元の記事を読んでから以下の内容を読んで頂けるとスムーズかと思われます。 最長交易路とは 皆様は『カタン』というゲームをご存知でしょうか？ カタンは複数のプレイヤーが無人島を開拓して、最も繁栄させることができたプレイヤーが勝利するというボードゲームです。 このゲームには「最長交易路」というルールがあり、最も長い交易路を作ったプレイヤーに追加の得点が入ることになっています。 このゲームにおける交易路はグラフ理論の言葉を借りると無向多重グラフとみなすことができます。 そして、最長交易路を探すということは、無向多重グラフの中で最長の**小道（trail）**を探すことになります。 ここでは、ある頂点からある頂点

「javascriptで難読fizzbuzz」っていうお題で書き始めました。 rnという関数でChurch数をjavascriptの整数に変換していますが、これは結果の表示用であって計算は全てChurch数のまま行ってます。 実行時の効率は考えてないので、結果が表示されるまで数秒かかります。 const z=f=>(x=>f(y=>x(x)(y)))(x=>f(y=>x(x)(y))) //Zコンビネーター const id=x=>x //恒等関数 const sc=n=>f=>x=>f(n(f)(x)) //succ const pr=n=>f=>x=>n(g=>h=>h(g(f)))(tr(x))(id) //pred const mn=m=>n=>n(pr)(m) //引き算 const pl=m=>n=>n(sc)(m) //足し算 const ml=m=>n=>n(pl(m))(

import "time" time.Parse("20060102", "20181220") // => 2018-12-20 00:00:00 +0000 UTC time.Parse("20060102150405", "20181220123456") // => 2018-12-20 12:34:56 +0000 UTC time.Parse("2006/01/02 15:04:05.000", "2018/12/20 12:34:56.123") // => 2018-12-20 12:34:56.123 +0000 UTC time.Parse("2006-01-02T15:04:05.000000Z", "2018-12-20T12:34:56.123456Z") // => 2018-12-20 12:34:56.123456 +0000 UTC time.Parse(

この記事は全部俺 Advent Calendar 2018の6日目の記事です。 完成形 開発環境をDocker化してローカル環境から切り離す go fmtやgoimportsなどの各種静的解析/整形ツールをファイル保存時に自動実行するようにする File Watchers設定ファイルをimportして各種リントを自動実行するように設定している pre-commitファイルを設定して、golintがエラーを出力する場合にはcommit自体できないようにする 開発環境のDocker化 Docker containerの作成 Dockerが入っていない場合はマシンにDockerをインストールします。 Golandを立ち上げて、PluginsからDocker integrationをインストールし、Golandを再起動します。 新規Projectを作成し、下の画像1.のように、Dockerタブから

GHCi> import Data.Function(flip) GHCi> let (>.>) = flip (.) GHCi> :t (>.>) = flip (.) (>.>) :: (a -> b) -> (b -> c) -> (a -> c) GHCi> let showSqrt = sqrt >.> show GHCi> showSqrt 2 "1.4142135623730951" この演算子は、(.)演算子の引数の順番を逆にしただけです。 さて、この演算子について以下の3つの式が常に成り立ちます（重要） id >.> f ≡ f （idの左単位性） f >.> id ≡ f （idの右単位性） (f >.> g) >.> h ≡ f >.> (g >.> h) （結合則） 型コンストラクタ付きの関数の結合 世の中には戻り値が型コンストラクタに包まれていても普通の関数と同じ

この記事 is 何？ (TL;DR) Pythonのimport文の順序が人によってバラバラ問題を解決する isortを使ってimportをソートする pre-commitを使ってimport順序を守ってないコードはcommitできないようにする Pythonのimport順序が規約で定まっていない問題 Pythonのimport順序については、PEP8に以下のように記載されてます。 - Imports are always put at the top of the file, just after any module comments and docstrings, and before module globals and constants. Imports should be grouped in the following order: 1. Standard library

Functor（関手）の話です。 HaskellのFunctorクラスはHask圏からHask圏への関手しか表現できません。 そこで、Hask圏以外の圏についても使える関手のクラスを書いてみました。 よろしくね　(*´σｰ｀)ｴﾍﾍ 基本的な用語と、HaskellのFunctorクラス 別のところにまとめました この章に書こうとしていた、「基本的な用語の確認とHaskellのFunctorクラス」についての内容は、別の記事にまとめさせて貰いました。 内容としては、「HaskellのFunctorクラスはHask圏からHask圏への関手しか表現できません。」という文章の説明なので、それを読んで「そらそうだろ」って感じなら読み飛ばして次の章を読んで頂いて大丈夫です。 とびだせ！Hask圏 HaskellのFunctorは、Hask圏からHask圏への関手を表現しています。 しかし、Haskel

タイトルは、[Haskell] FunctorクラスはHask圏からHask圏への関手となっていますが、 もっと正確には、[Haskell] FunctorクラスはHask圏からHask圏の部分圏への関手のほうが、より適切かもしれません。 もともとこの記事はHaskellアドベントカレンダー(その3)の、12/14に登録した「とびだせ！Hask圏」という記事の前半部分として書いていたものです。 。 ただ、その記事がクソ長くなってしまいそうだったので、前半を分離して一つの記事にしたのがこの記事になります。 基本的な用語 圏とは 圏の公理を書こうかと思ったんですが、結構面倒くさいので省略します。 忘れちゃダメなポイントは、 すべての対象に恒等射が存在する。 射の合成は結合則を満たす。 という点です。 Hask圏とは 対象はHaskellの、カインドが*である型 射はHaskellの関数 射の始

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article?