Slides

• Rustの非同期デバッグツールを使いこなせ!

  2022-11-27

  • Rust
  • 非同期

• Wasmでできること、できそうなこと

  2022-11-02

  • WebAssembly

• 関数型データ構造と依存型同時入門

  2022-09-20

  • データ構造
  • 関数型データ構造
  • 依存型
  • Idris

• DropとFutureとDropのfuture

  2022-05-14

  • Rust

• Idris 2の数量的型が解決した問題、導入した問題

  2021-09-26

  • Idris
  • Idris2
  • 型

• PLDI論文読み会: Perceus: Garbage Free Reference Counting with Reuse

  2021-09-17

  • GC
  • ランタイム
  • 言語処理系

• Rust with Fearless Concurrency

  2020-11-15

  • Rust

• 言語自作を通して学んだRust

  2020-10-26

  • Rust
  • RustFest

• Rustで作るインメモリキャッシュ

  2020-10-18

  • Rust

• 「安全」な言語Rust

  2020-06-25

  • Rust

• rust-analyzerの紹介

  2020-04-27

  • Rust

• 話題のGUIツールキットOrbtkを読む

  2019-12-10

  • Rust

• 安全なシステムプログラミング言語Rustへの招待

  2019-11-18

  • Rust

• その正規表現エンジン、インタプリタで満足してる？！

  2019-10-18

  • 正規表現
  • SATySFi
  • 多段階計算

• Idrisの話とIdris2のウワサ

  2019-09-21

  • Idris
  • 依存型

• Effective Idris: Effects

  2019-05-25

  • Idris
  • Algebraic Effect

• Rustから扱うAWS API

  2019-03-12

  • Rust

• void

  2019-01-16

  • Rust

• イマドキと言われる言語機能について

  2019-01-11

  • プログラミングシンポジウム

• Common Lispの多値とその実装達

  2018-11-15

  • 言語処理系
  • 言語実装
  • Lisp
  • Common Lisp

• WebAssemblyとABI

  2018-11-10

  • WebAssembly
  • Compiler

• Rust around you

  2018-10-07

  • Rust

• Futureとその周辺

  2018-10-05

  • 非同期
  • Future

• Inside Pattern Matchings

  2018-09-16

  • ML
  • OCaml
  • 言語実装
  • Compiler

• Rustのこれまでとこれから

  2018-08-25

  • Rust

• Rustと3種のDSL

  2018-07-01

  • Rust

• nom勘所

  2018-06-26

  • Rust
  • 構文解析

• GCと1bit

  2018-06-24

  • GC

• オブジェクト指向言語と関数型言語

  2018-03-14

  • オブジェクト指向
  • 関数型

• Rust & Swagger

  2017-12-18

  • Rust

• 1ML - コア言語とモジュール言語の統合

  2017-09-24

  • ML
  • 型

• 最近のSML#の話題

  2017-07-17

  • ML
  • SML
  • SMLSharp

• ジェネリクス ディスパッチ 表裏

  2017-06-17

  • 型
  • ジェネリクス
  • Rust
  • 言語実装

• ソフトウェアエンジニアがFPGAやってみる

  2017-03-28

  • FPGA
  • PYNQ
  • sotomuki

• Rust in Production

  2017-03-22

  • Rust

• 仕事でdiesel使ってみた

  2017-03-01

  • Rust

• WebAssemblyとコンパイラとランタイム

  2017-02-16

  • WebAssembly
  • Compiler
  • Runtime

• コンパイラの人からみたWebAssembly

  2017-01-22

  • WebAssembly
  • Compiler

• SchemeでClassとProtocol

  2016-11-28

  • Lisp
  • Scheme
  • Lisp Meet Up

• Rustで非同期Thriftしたい

  2016-11-26

  • Rust
  • Thrift
  • 非同期

• Rustの話とリソースの話

  2016-11-20

  • Rust

• Scala 2.12.0変更点

  2016-11-04

  • Scala
  • ScalaMeetUp
  • 社内

• 正しいScalaのコードが欲しい

  2016-10-05

  • Scala
  • Isabelle
  • ScalaMeetUp
  • 社内

• 型クラスを越えて

  2016-07-16

  • 型クラス
  • 型

• Socket on SML#

  2016-07-02

  • socket
  • SML
  • SMLSharp

• DOT/dottyについて調べてみた

  2016-05-24

  • Scala
  • 言語処理系
  • 社内
  • Scala Meet Up

• 高速な継続ライブラリに向けて

  2016-05-08

  • 継続
  • 限定継続
  • Lisp
  • Common Lisp

• テストについて、Scalaと。

  2016-04-12

  • Scala
  • Scala Meet Up
  • テスト
  • 社内

• SMLで函数型的正規表現マッチ

  2016-03-29

  • SML
  • ML
  • 正規表現

• ビッグデータしないDrill、ローカルで快適に使うために

  2016-03-06

  • SQL
  • DB
  • Apache Drill
  • Drill Meet up

• Rustとは何か。どんな言語か。

  2016-03-06

  • Rust

• ClojureでSSPを作った話

  2016-02-22

  • Clojure
  • Lisp
  • AdTech

• HAMT ~ イミュータブルで高速なハッシュマップ ~

  2016-01-31

  • Scala
  • 社内
  • Scala Meet Up

• DSLとTagless Final

  2015-12-13

  • Scala
  • Scala Meet Up

• ClojureでDSPを作った話

  2015-10-27

  • Clojure
  • Lisp
  • AdTech

• Internal of b11d

  2015-10-19

  • 社内
  • AdTech
  • Lisp
  • Clojure

• ISUCONこれまでの流れ

  2015-09-04

  • ISUCON

• SMLでPNGデコーダを作ろうとして分かったこと

  2015-09-04

  • SML
  • 月初会

• Method Drawでお手軽LGTM生成

  2015-08-14

  • 小ネタ

• 構文解析にまつわる小話たち

  2015-08-08

  • 構文解析
  • 言語実装

• Clojureおじさん

  2015-06-22

  • Clojure
  • FRESH勉強会

• Common Lisp処理系拡張の探求 SBCLのマルチスレッドサポート

  2015-06-20

  • Lisp
  • Common Lisp
  • SBCL
  • Common Lisp処理系拡張

• ボトルネックのイイ話

  2015-06-04

  • ISUCON
  • FRESH勉強会

• Transducerについて

  2015-06-03

  • Clojure
  • Lisp
  • transducer

• 21世紀のエンジニアのためのHTTP/2入門

  2015-05-18

  • HTTP
  • Web
  • FRESH勉強会

• 実装から理解するクロージャ

  2015-05-17

  • 言語実装

• 勉強会駆動勉強で猛勉強

  2015-05-06

• Common Lispで限定継続と遊ぶ

  2015-04-26

  • Lisp
  • Common Lisp
  • Lisp Meet Up
  • 限定継続
  • CPS

• 非同期処理の「その後」の話。goto、継続、限定継続、CPS、そしてコールバック地獄。

  2015-04-25

  • 非同期
  • CPS
  • 継続
  • 限定継続

• 静的なメモリ管理の話。リージョン推論とλ計算からRustまで

  2015-04-21

  • λ計算
  • リージョン推論
  • Rust

• caveman2、ningle…Common LispのWeb周りのフレームワークを快適に使うためのたった1つのコト

  2015-03-05

  • Lisp
  • Common Lisp
  • 小ネタ

• 既存のテンプレートエンジンの問題点と再設計

  2015-03-02

  • Lisp
  • Common Lisp
  • Arrows

• Semantic S式

  2014-11-27

  • Lisp
  • Lisp Meet Up
  • デザインスタイル
  • Lisp Meet Up

• claspを少し触ってみた

  2014-10-28

  • Lisp
  • Common Lisp
  • clasp
  • Lisp Meet Up

• C6H6+HNO3

  2014-10-24

  • Lisp
  • picrin

• Picrinのチューニングの話、もといGCの話

  2014-09-29

  • Lisp
  • picrin
  • GC
  • Lisp Meet Up

• Introduction to CIM

  2014-08-30

  • Common Lisp
  • Lisp
  • CIM

• 授業で半年間moclを使ってみた

  2014-08-28

  • Common Lisp
  • Lisp
  • mocl
  • Android

• Cloud 9の紹介

  2014-07-29

  • Lisp Meet Up
  • Lisp
  • IDE
  • Editor
  • 開発環境

• (S式で書く(altJS)達)

  2014-07-13

  • Lisp
  • altJS

• 言葉遣いの時代変遷を追う

  2014-07-09

  • 言語処理