岡部 究
METASEPI DESIGN / Freelance Researcher横浜市
岡部 究
METASEPI DESIGN / Freelance Researcher
つながってこの人をもっと知ろう
自己紹介などの詳しいプロフィールは、つながりをリクエストして承認されると表示できます。
- Debian Maintainer
* Maintained uim package at Debian squeeze, and packages using Haskell at sid.
- Ajhc Haskell compiler
* Extend and add embedded features to Jhc Haskell Compiler http://repetae.net/computer/jhc/ . * Ajhc has thread-safe and reentrant runtime. Also has Erlang style GC. It means Ajhc's Haskell context has own GC heap. GC can run on tiny CPU such as Cortex-M3 with 32kB RAM.
この先やってみたいこと
未来
これまでのキャリアでは主に組み込みプラットフォームの構築に重みをおいてきました。その中で様々な組み込み機器の不具合を体験し「組み込みソフトウェアにおける不具合の低減」が必要だと痛感するようになりました。 そのような不具合低減の手法について、個人的に研究開発した結果を論文にし
METASEPI DESIGN2年間
Freelance Researcher現在
- 現在
Responsibilities: * Improving the quality of open source OS Key Achievements: * Found the root causes of FreeBSD OS bugs and vulnerabilities with SRE postmortem style, and avoided them with ATS and VeriFast
VA Linux Systems Japan K.K.8ヶ月
Cloud Infrastructure Expert
-
Responsibilities: * Technical support for Linux distribution and open-source software
Systemi.co.ltd6ヶ月
Systems Engineer
-
Responsibilities: * Entrusted development of web applications Key Achievements: * Published a payment application running on Android tablet designed with Kotlin language
NXP Japan Ltd.7ヶ月
Systems & Applications Engineer
-
Responsibilities: * Technical support for NXP Microprocessors Key Achievements: * Supported audio application using Yocto Linux and Android platform
Donuts Co. Ltd.5ヶ月
Software Engineer
-
Responsibilities: * Maintained an ERP web application using PHP, Zend Framework, JavaScript, MySQL, and AWS
METASEPI DESIGN8年間
Freelance Researcher
-
Responsibilities: * Researching and developing Ajhc Haskell Compiler http://ajhc.metasepi.org/ * ATS language http://www.ats-lang.org/ evangelist for embedded devices
- Japan ATS User Group
* An user group for ATS language promotion of utilization. Translating ATS documents into Japanese.
QuantumCore CORPORATION6ヶ月
Software Engineer（副業）
-
Responsibilities: * Porting a machine learning called ``reservoir computing'' onto ARM Cortex-M MCU" * Porting the machine learning onto Android platform
SHINKAWA LTD.6ヶ月
Software Architect
-
Responsibilities: * Researched and developed new software platform for wire bonding during semiconductor device fabrication
SELTECH CORPORATION1年間
Expert Engineer
-
Responsibilities: * Researched and developed new Secure-OS for ARM Cortex-M platform
RIKEN Advanced Institute for Computational Science4年間
Part-time Researcher（副業）
-
Responsibilities: * Researched functional programming for embedded platform Key Achievements: * Published some research papers http://www.metasepi.org/papers.html
Life Robotics Inc.1年間
Software Engineer
-
Responsibilities: * Developed GUI application running on Ubuntu OS, using C++ and Qt https://www.qt.io/ for single arm robot Key Achievements: * Designed a network protocol for the robotics application
Centillion Japan Co., Ltd.1年間
System Enginner
-
Responsibilities: * Technical support for stock chart application using JavaScript * Maintained MySQL database servers * Manager for offshore development in China
Axsh co., LTD.4ヶ月
Software engineer
-
Responsibilities: * Developed an OpenFlow application named ``OpenVNet'' https://github.com/axsh/openvnet
MIRACLE LINUX CORPORATION1年間
Software Engineer
-
Responsibilities: * Developed own Digital Signage platform running on Intel architecture using Linux OS, C++, OpenGL, GTK+ and GStreamer * Supported and debugged own Linux distribution
Ricoh Company, Ltd.11年間
Software Development Engineer
-
Responsibilities: * Developed own platform for multi-function printer based on NetBSD OS
