指数法則 a^b × a^c = a^(b+c) を型を使って示せ
to :: (b -> a, c -> a) -> Either b c -> a
from :: (Either b c -> a) -> (b -> a, c -> a)
# ペインボーダーの色を設定する | |
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 |
{ | |
"awayIndicator": "#e0b333", | |
"buttonBg": "#859900", | |
"buttonColor": "#586e75", | |
"centerChannelBg": "#fdf6e3", | |
"centerChannelColor": "#839496", | |
"codeTheme": "solarized-light", | |
"linkColor": "#268bd2", | |
"mentionBj": "#dc322f", | |
"mentionColor": "#ffffff", |
{-# 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}} |
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 |
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
{ | |
// Imports | |
"Import ByteString Char8": { | |
"prefix": "imbs", | |
"body": [ | |
"import qualified Data.ByteString.Char8 as BS", | |
], | |
"description": "Import BS" | |
}, | |
"Import Vector Unboxed": { |
(* 元論文 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 *) |
{-# LANGUAGE LambdaCase #-} | |
module DPGen where | |
import Data.Array | |
import Data.Array.ST.Safe | |
( newListArray, readArray, writeArray, runSTArray, MArray ) | |
import Data.Function | |
import Data.List |