Skip to content

Instantly share code, notes, and snippets.

View kmizu's full-sized avatar

Kota Mizushima kmizu

View GitHub Profile
@k16shikano
k16shikano / SKILL.md
Last active October 14, 2026 14:33
japanese-tech-writing/SKILL
name japanese-tech-writing
description 日本語の技術文書・書籍原稿の文章規範。段落と論証の構成(パラグラフライティング)、論証の厳密さ(ツッコミどころの除去)、読み手の負荷の管理、視点と語り、演出の抑制、LLM っぽい空句の禁止、翻訳調の比喩と擬人化の禁止(「運ぶ」「効く」「開かれた問い」など)、冗長の排除を定める。日本語で技術書の章、草稿、記事、解説文を書くとき、または推敲・リライトするときに使用する。
license Unlicense(https://gist.github.com/k16shikano/67625f2a7d96e3bbdfae8d571a936063)

日本語技術文書の文章規範

日本語で技術的な原稿(書籍の章、記事、解説文)を書く・推敲するときは、以下の規範に従う。

@gakuzzzz
gakuzzzz / sbt-coursier.md
Last active June 27, 2019 03:23
あなたの sbt update を爆速にする sbt-coursier の紹介

あなたの sbt update を爆速にする sbt-coursier の紹介

この記事は Scala Advent Calendar 2016(Adventar) 10日目の記事です。

今は 12/10 の 625時です。年明けなんて無かった。いいね?

さてさて、sbt の依存jarのダウンロードが遅い、というのは割とよく言われる事であります。

で、この原因の一旦に、sbtが Apache Ivy を使っている、という点があります。

class TC[A](val x: String)
object TC {
def getX[A: TC](a: A): String = implicitly[TC[A]].x
implicit def anyTC[A]: TC[A] = new TC[A]("*")
implicit val stringTC: TC[String] = new TC[String]("String")
}
object Example {
class A() {
init {
val s: String = getStr()
println("${s.length}") // java.lang.NullPointerException
}
fun getStr(): String {
return str
}
@sile
sile / 0_succ_bp.md
Last active April 23, 2025 03:15
簡潔データ構造やBalancedParenthesesの紹介資料メモ

発表資料メモ: 簡潔データ構造について

  1. 主題

  • 数千万オーダーの文字列集合(およびマップ)を如何にサイズ効率良く表現するか、の話
    • 諸事情で集合をメモリ上に保持したいことがあるが、サイズは節約したい
    • 実際にはサイズのみを追求するのではなく、諸々のトレードオフを加味しつつバランスを取る
  • 今回はそれを実現するための方法の一つである 簡潔データ構造 について説明する:
@Hamayama
Hamayama / 1007_MinGW64_Install.md
Last active August 19, 2025 09:43
MSYS2/MinGW-w64 (64bit/32bit) インストール手順 メモ

MSYS2/MinGW-w64 (64bit/32bit) インストール手順 メモ

  • 自分がインストールしたとき (2022年9月) の参考用のメモです。
    (情報が古くなっている可能性があります)

  • **<<<現在では より新しい MSYS2/MinGW-w64 UCRT64 (64bit) の開発環境もあります>>>
    MSYS2/MinGW-w64 UCRT64 (64bit) 開発環境のインストールについては、
    以下のページの方を参照ください。
    https://gist.github.com/Hamayama/7810d2a1a59a872a2fbc271345151f77

@paulp
paulp / unsoundagain.scala
Created June 3, 2016 23:19
Another in the endless parade.
package p
/** Super basic map/flatMap fusion ADT.
*/
sealed trait View[A] {
def map[B](f: A => B): View[B] = CView(this, Mapped(f))
def flatMap[B](f: A => View[B]): View[B] = CView(this, FlatMap(f))
def foreach(f: A => Unit): Unit = this match {
case IdView(xs) => xs foreach f
package com.example
case class Foo[F[_], A](step: F[Foo.Step[A]])
object Foo {
class Step[A]
object Done {
def unapply[A](a: Step[A]): Boolean = true
}
}
import javafx.application.Application
import javafx.event.EventHandler
import javafx.scene.input.MouseEvent
import javafx.stage.Stage
import javafx.scene.{Scene, Group}
import javafx.scene.control.Button
import scalaz.concurrent.Future
class GUI extends Application {