Skip to content

Instantly share code, notes, and snippets.

View msakai's full-sized avatar

Masahiro Sakai msakai

View GitHub Profile
import sys
for mname, m in sys.modules.items():
fname = getattr(m, '__file__', None)
if fname is not None and fname.endswith('.so'):
print(f"{mname}: {fname}")
@msakai
msakai / ruby-puzzles-2022.rb
Created September 21, 2022 03:57
My solution for "Cookpad Code Puzzle for RubyKaigi 2022" https://ruby-puzzles-2022.cookpad.tech/
# coding: utf-8
def answer1(n)
n + 1
end
def answer2(str)
str.upcase
end
def answer3(n)
module FermatsFactorizationMethod where
import Control.Monad
import Data.List (sort)
import Math.NumberTheory.Roots -- https://hackage.haskell.org/package/integer-roots
factor :: Integer -> [Integer]
factor = sort . g
where
g 1 = []
-- |
--
-- * [Secant method](https://en.wikipedia.org/wiki/Secant_method)
--
-- * [割線法](https://ja.wikipedia.org/wiki/%E5%89%B2%E7%B7%9A%E6%B3%95)
module SecantMethod where
secantMethod :: (Eq a, Fractional a) => (a -> a) -> a -> a -> [a]
secantMethod f x0 x1 = map fst xs
where
/*
NY Times の記事 "Dead Lay Out in Bucha for Weeks, Refuting Russian Claim, Satellite Images Show - The New York Times"
https://www.nytimes.com/2022/04/04/world/europe/bucha-ukraine-bodies.html
での「ロシア占領中の3月19日時点の衛星画像で死体が確認できる」と言う主張に対して、
「OSINT/GEOINTによって撮影時刻は4月1日11:57(UTC)である」と言う反論がなされている。
- ロシア語: https://t.me/rybar/30599
- 英訳: https://t.me/realCRP/4200
- 日本語訳: https://t.me/wakeupjapancomeon/1605
@msakai
msakai / autoencoder_vs_pca.ipynb
Created June 20, 2017 16:58
Autoencoder vs PCA
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
-- Fisher–Yates shuffle algorithm
-- https://en.wikipedia.org/wiki/Fisher%E2%80%93Yates_shuffle#Modern_method
--
-- Note that mwc-random provides functions for permuting vectors.
-- https://hackage.haskell.org/package/mwc-random-0.14.0.0/docs/System-Random-MWC-Distributions.html#g:5
--
{-# OPTIONS_GHC -Wall #-}
{-# LANGUAGE BangPatterns #-}
module Shufle
( shuffleVector
{-# LANGUAGE FlexibleContexts, GADTs, TypeFamilies #-}
class T a where
type Config a
getConfig :: a -> Config a
data D where
T :: T a => a -> D
@msakai
msakai / umineko8challenge.als
Created January 10, 2011 11:20
うみねこのなく頃に8 のベルンの挑戦のAlloyモデル
// うみねこのなく頃に8 のベルンの挑戦のAlloyモデル
abstract sig Person { kill : set Person }
one sig
Krauss, Natsuhi, Jessica,
Eva, Hideyoshi, George,
Rudolf, Kyrie, Battler,
Rosa, Maria,
Nanjo,
Genji, Shannon, Kanon, Gouda, Kumasawa
extends Person {}
@msakai
msakai / FlightRadar24.hs
Created August 10, 2012 22:56
Sample for fetching JSON data from flightradar24.com
import Control.Concurrent
import Control.Monad
import Data.Maybe
import Data.Time
import Network.Browser
import Network.HTTP
import Network.HTTP.Proxy
import Network.URI
import System.Locale