search

search

Trend
Question
Qiita Tech Festa
Official Event
Official Column
Organization

fintech

129posts

60followers

Login and follow tags to see the latest information.

trending_up

Trend

Like ranking last week

@nekonibox(Kenta Inoue)

2021-12-17

株式の取引と売買価格を決定する板寄せアルゴリズムをCoq/SSReflectで形式検証する

Coq
ssreflect
Finance
fintech
形式検証

8

@shoe116(Shu Suzuki)inMercari

2018-01-24

EDINETのXBRL用のPythonライブラリを作った - Parser編

Python
データサイエンス
xbrl
fintech
EDINET

233

@nekonibox(Kenta Inoue)

2021-12-16

ある証券会社の証券用語の解説に仕様バグが存在することを形式検証によって発見した話

Finance
fintech
形式手法
形式検証
仕様バグ

14

Articles Questions

User Rankings

Weekly

Monthly

Yearly

Organizations ranking

Monthly

All

1
Mercari
1Likes

How developers code is here.

© 2011-2025Qiita Inc.

Guide & Help

About
Terms
Privacy
Guideline
Media Kit
Feedback/Requests
Help
Advertisement

Contents

Release Note
Official Event
Official Column
Advent Calendar
Qiita Tech Festa
Qiita Award
Engineer White Paper
API

Official Accounts

@Qiita
@qiita_milestone
@qiitapoi
Facebook
YouTube
Podcast

Our service

Qiita Team
Qiita Zine
Official Shop

Company

About Us
Careers
Qiita Blog
News Release

	
		OSZAR »