$ cabal exec fwsparse -- 1000 800 +RTS -s -N1 -l
552434
5,700,238,648 bytes allocated in the heap
188,155,200 bytes copied during GC
521,336 bytes maximum residency (107 sample(s))
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{-# LANGUAGE LambdaCase #-} | |
module DPGen where | |
import Data.Array | |
import Data.Array.ST.Safe | |
( newListArray, readArray, writeArray, runSTArray, MArray ) | |
import Data.Function | |
import Data.List |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
(* 元論文 https://www2.math.su.se/reports/2001/11/ *) | |
(* 元記事 https://qiita.com/lotz/items/60c20189f931dd8e5e9f *) | |
(* | |
* Ring の構造を真似て作る ? | |
* https://coq.inria.fr/distrib/8.5beta3/stdlib/Coq.setoid_ring.Ring.html# | |
* https://coq.inria.fr/distrib/8.5beta3/stdlib/Coq.setoid_ring.Ring_theory.html# | |
*) | |
(* 可換モノイド https://github.com/palmskog/monoid-ssreflect *) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{ | |
// Imports | |
"Import ByteString Char8": { | |
"prefix": "imbs", | |
"body": [ | |
"import qualified Data.ByteString.Char8 as BS", | |
], | |
"description": "Import BS" | |
}, | |
"Import Vector Unboxed": { |
linguini Yesterday at 8:36 PM algebraic-graphsのData.Graph.LabelledのGraphにOverlayがなくてConnect zeroで代用してるのってなんでなんですか (edited)
matonix 1 hour ago 度々すみません,2018年にLabelled-edgesに関して発表されているようです(今見てます…) https://skillsmatter.com/skillscasts/12361-labelled-algebraic-graphs#showModal?modal-signup-complete
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
module Syaku where | |
import Debug.Trace | |
-- | 参考文献: https://qiita.com/drken/items/ecd1a472d3a0e7db8dce | |
-- | 参考にした関数 | |
-- mapAccumL :: Traversable t => (a -> b -> (a, c)) -> a -> t b -> (a, t c) | |
-- mapAccumL f s t = runStateL (traverse (StateL . flip f) t) s |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{-# START_FILE package.yaml #-} | |
name: {{name}} | |
version: '0.1.0' | |
category: {{category}}{{^category}}Web{{/category}} | |
author: {{author-name}}{{^author-name}}Author name here{{/author-name}} | |
maintainer: {{author-email}}{{^author-email}}example@example.com{{/author-email}} | |
copyright: {{copyright}}{{^copyright}}{{year}}{{^year}}2017{{/year}} {{author-name}}{{^author-name}}Author name here{{/author-name}}{{/copyright}} | |
license: BSD3 | |
github: {{github-username}}{{^github-username}}githubuser{{/github-username}}/{{name}} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{ | |
"awayIndicator": "#e0b333", | |
"buttonBg": "#859900", | |
"buttonColor": "#586e75", | |
"centerChannelBg": "#fdf6e3", | |
"centerChannelColor": "#839496", | |
"codeTheme": "solarized-light", | |
"linkColor": "#268bd2", | |
"mentionBj": "#dc322f", | |
"mentionColor": "#ffffff", |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# ペインボーダーの色を設定する | |
set -g pane-border-fg black | |
set -g pane-border-bg default | |
# アクティブなペインを目立たせる | |
set -g pane-active-border-fg blue | |
set -g pane-active-border-bg default | |
# マウス操作をアクティブにする | |
set -g mouse on | |
set -g mouse-utf8 on | |
set -g mouse-select-pane on |