Skip to content

Instantly share code, notes, and snippets.

Avatar

ayu-mushi ayu-mushi

View GitHub Profile
@ayu-mushi
ayu-mushi / abc162_d.hs
Created Apr 13, 2020
abc162_d の間違った(TLEする)実装
View abc162_d.hs
import Data.Monoid (Sum(Sum))
-- i をインクリメントする処理を分離できないか
--https://atcoder.jp/contests/abc162/tasks/abc162_d の間違った(TLEする)実装
syouhi0 :: (Monoid m, Eq a) => Int -> (Int -> Int -> Int -> m) -> [a] -> m
syouhi0 i f [x,y] = mempty
syouhi0 i f (x:xs) = (syouhi1 (i+1) (f i) 0 x xs) `mappend` (syouhi0 (i+1) f xs)
syouhi1 :: (Monoid m, Eq a) => Int -> (Int -> Int -> m) -> Int -> a -> [a] -> m
@ayu-mushi
ayu-mushi / eq.v
Last active Feb 1, 2020
Haskell Road to Logic, Math, Programming 演習3.5
View eq.v
From mathcomp Require Import all_ssreflect.
Set Implicit Arguments.
Lemma eq (p q r : Prop): (p <-> q) -> ((p -> r) <-> (q -> r)).
Proof.
move => [pq qp].
split.
move => pr q0.
apply pr.
apply qp.
@ayu-mushi
ayu-mushi / main.elm
Created Dec 20, 2019
Elm canvas alife template
View main.elm
module Main exposing (main)
import Browser
import Browser.Events exposing (onAnimationFrameDelta)
import Canvas exposing (rect, shapes)
import Canvas.Settings exposing (fill)
import Canvas.Settings.Advanced exposing (rotate, transform, translate)
import Color
import Html exposing (Html, div)
import Html.Attributes exposing (style)
View population-processing.hs
{-# LANGUAGE TupleSections #-}
module Lib
( someFunc
) where
import Text.Parsec
import System.IO
import Data.List
import Graphics.Gnuplot.Simple
import Control.Monad.Reader
View issei_attack.js
function Maou(){
this.hp = 100;
this.name = "魔王";
}
Maou.prototype.attack = function(aite) {
// 魔王の攻撃
alert(aite + "に魔王が二重攻撃!!");
};
function Cribou(){
View rpg.js
function makeZako(n){
return {hp: 20, mp:20, name:"zako" + n};
}
var enemies = [makeZako(0), makeZako(1), makeZako(2), makeZako(3)];
var player = {hp: 20, mp:20, name:"yuusya"};
View Main.hs
{-# Language GADTs #-}
module Main where
import Control.Monad.Cont
data Proper = John | Mary -- Proper -> john | mary
data Det = A | The -- DET -> a | the
data N = Man | Woman -- N -> man | woman
data NP = NP0 Det N | NP1 Proper -- NP -> Det N | Proper
data VI = Sleeps | Walks -- VI -> sleeps | walks
data VT = Loves -- VT -> loves
@ayu-mushi
ayu-mushi / coq7.v
Last active Jun 7, 2019
Coq 練習問題(7)
View coq7.v
Require Import ssreflect.
From mathcomp Require Import all_ssreflect.
Require Import Extraction.
(* 練習問題5.1 *)
Section sort.
Variable A : eqType.
Variable le : A -> A -> bool.
@ayu-mushi
ayu-mushi / coq6.v
Last active Jun 4, 2019
Coq exercise (6)
View coq6.v
Require Import ssreflect.
From mathcomp Require Import all_ssreflect.
Require Import Extraction.
Section Sort.
Variables (A:Set) (le:A->A->bool).
(* 既に整列されたリストlの中にaを挿入する *)
Fixpoint insert a (l: list A) := match l with