index.html

<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml" lang="" xml:lang="" >

<head>
  <meta charset="utf-8" />
  <meta name="generator" content="pandoc" />
  <meta name="viewport" content="width=device-width, initial-scale=1.0, user-scalable=yes" />
          <title>Tomoaki Kobayashi – About</title>
  <style>
    code{white-space: pre-wrap;}
    span.smallcaps{font-variant: small-caps;}
    div.columns{display: flex; gap: min(4vw, 1.5em);}
    div.column{flex: auto; overflow-x: auto;}
    div.hanging-indent{margin-left: 1.5em; text-indent: -1.5em;}
    /* The extra [class] is a hack that increases specificity enough to
       override a similar rule in reveal.js */
    ul.task-list[class]{list-style: none;}
    ul.task-list li input[type="checkbox"] {
      font-size: inherit;
      width: 0.8em;
      margin: 0 0.8em 0.2em -1.6em;
      vertical-align: middle;
    }
    /* CSS for citations */
    div.csl-bib-body { }
    div.csl-entry {
      clear: both;
      margin-bottom: 0em;
    }
    .hanging-indent div.csl-entry {
      margin-left:2em;
      text-indent:-2em;
    }
    div.csl-left-margin {
      min-width:2em;
      float:left;
    }
    div.csl-right-inline {
      margin-left:2em;
      padding-left:1em;
    }
    div.csl-indent {
      margin-left: 2em;
    }

    .body-block>h1 {
      border-bottom: 2px solid black;
    }

    .active {
      font-weight: bold;
    }

    code,
    pre:has(code) {
      /* color: green; */
      background-color: white;
    }

    pre:has(code) {
      padding: 10px;
      border: 2px solid black;
    }

    .csl-entry {
      margin-top: 10px;
    }

    .csl-block {
      margin-top: 3px;
      /* line-height: 1.2; */
    }

    footer {
      text-align: center;
      padding: 10px;
      /* background-color: #f0f0f0; */
    }
  </style>
    <link rel="stylesheet" href="style.css" />
      </head>

<body>
    <header>
    <table border="1" style="display: table">
      <tr>
        <td height="100" style="width: 60%">
          <h1 class="title" style="margin:0px 0px 0px 0px;">Tomoaki Kobayashi</h1>
        </td>
        <td style="width: 40%">
          <nav>
            <a class="active" href="./index.html">
              About
            </a>
            <a class="" href="./oss.html">
              OSS
            </a>
            <a class="" href="./research.html">
              Research
            </a>
            <!-- <a class="" href="./posts.html">
              Posts
            </a> -->
          </nav>
        </td>
      </tr>
    </table>
  </header>
    <div id="title-block-header" style="text-align: center;">
    <h1 class="title">About</h1>
                    <p class="date">24th Apr 2025</p>
              </div>
      <nav id="TOC" role="doc-toc">
        <ul>
        <li><a href="#overview" id="toc-overview"><span
        class="toc-section-number">1</span> Overview</a></li>
        <li><a href="#experience" id="toc-experience"><span
        class="toc-section-number">2</span> Experience</a></li>
        <li><a href="#academic" id="toc-academic"><span
        class="toc-section-number">3</span> Academic</a>
        <ul>
        <li><a href="#education" id="toc-education"><span
        class="toc-section-number">3.1</span> Education</a></li>
        <li><a href="#publications" id="toc-publications"><span
        class="toc-section-number">3.2</span> Publications</a></li>
        <li><a href="#awards" id="toc-awards"><span
        class="toc-section-number">3.3</span> Awards</a></li>
        <li><a href="#grants" id="toc-grants"><span
        class="toc-section-number">3.4</span> Grants</a></li>
        </ul></li>
        <li><a href="#skills-and-tools" id="toc-skills-and-tools"><span
        class="toc-section-number">4</span> Skills and Tools</a>
        <ul>
        <li><a href="#professional-experience"
        id="toc-professional-experience"><span
        class="toc-section-number">4.0.1</span> Professional
        Experience</a></li>
        <li><a href="#all-in-all" id="toc-all-in-all"><span
        class="toc-section-number">4.0.2</span> All in All</a></li>
        </ul></li>
        </ul>
  </nav>
    <div class="body-block">
    <h1 data-number="1" id="overview"><span
    class="header-section-number">1</span> Overview</h1>
    <div class="container">
    <!-- <img src="https://moatom.github.io/profile/static/icon.png" alt="icon" width="100px"
           style="margin-left: 20pt; margin-right: 20pt;" /> -->
    <img src="./static/me.jpg" alt="icon" class="image"/>
    <!-- <img src="./static/me.jpg" alt="icon" width="250px"
           style="margin-left: 20pt; margin-right: 20pt;" /> -->
    <div class="text">
    <p><strong>My name is Tomoaki KOBAYASHI.</strong></p>
    <p><strong>Nice to meet you! 🤗</strong></p>
    <ul>
    <li>SNS
    <ul>
    <li><a href="https://twitter.com/moatom">X</a></li>
    <li><a
    href="https://www.linkedin.com/in/tomoaki-kobayashi">LinkedIn</a></li>
    <li><a href="https://github.com/moatom">GitHub</a></li>
    <li><a href="https://gist.github.com/moatom">Gist</a></li>
    </ul></li>
    <li>JPN
    <ul>
    <li><a href="https://moatom.blogspot.com/">Blog</a></li>
    <li><a href="https://qiita.com/moatom">Qiita</a></li>
    </ul></li>
    <li>Misc.
    <ul>
    <li><a href="https://orcid.org/0009-0006-7147-9997">ORCID:
    0009-0006-7147-9997</a>
    <!-- - **[Quora](https://www.quora.com/profile/Tomoaki-Kobayashi-1)** --></li>
    </ul></li>
    </ul>
    <p>I am a software engineer with strong interest in research on
    software.</p>
    <p>My research interests focus on theoretical foundations of
    software and the application of them, especially in the following
    fields:</p>
    <ul>
    <li>Programming languages</li>
    <li>(Moderately) Functional programming</li>
    <li>Embedded domain-specific languages, code generation,
    metaprogramming, partial evaluation</li>
    </ul>
    <p>My main research work is about <a
    href="https://strymonas.github.io/">strymonas</a>—a lightweight
    declarative stream processing library which proposes <em>complete
    stream fusion</em>; its processing runs in constant memory!</p>
    <p>My vision is to provide solutions to real-world problems of
    software through these techniques. Software is often too fragile,
    and maintaining it consumes a tremendous amount of the world’s
    resources unnecessarily. To protect humanity’s productivity, I will
    lead the way in building robust software—without ever sacrificing
    agility.</p>
    </div>
    <style>
    .container {
      display: flex; /* 横並びにする */
      flex-wrap: wrap; /* 必要に応じて折り返し */
      /* align-items: center; 縦方向を中央揃え */
      gap: 16px; /* 要素間の間隔 */
    }

    .image {
      /* width: 200px; 画像の幅を適宜設定 */
      /* height: auto; */
      height: 400px;
      margin-left: 20pt;
      margin-right: 20pt;
      margin-top: 10pt;
    }

    .text {
      flex: 1; /* テキスト部分を画像に対して伸縮可能にする */
    }

    /* スマホ向けのスタイル（画面幅が768px以下の場合） */
    @media (max-width: 768px) {
      .container {
        flex-direction: column; /* 縦並びにする */
        align-items: flex-start; /* 左寄せにする */
      }

      .image {
        /* width: 100%; 画面幅いっぱいに調整 */
        height: 400px;
      }
    }
    </style>
    </div>
    <h1 data-number="2" id="experience"><span
    class="header-section-number">2</span> Experience</h1>
    <div class="uooo">
    <table>
    <colgroup>
    <col style="width: 60%" />
    <col style="width: 40%" />
    </colgroup>
    <thead>
    <tr>
    <th style="text-align: center;">Year</th>
    <th style="text-align: right;">Company / Job</th>
    </tr>
    </thead>
    <tbody>
    <tr>
    <td style="text-align: center;">2024–Present</td>
    <td style="text-align: right;"><a
    href="https://jp.linkedin.com/company/microad-inc-">MicroAd,
    Inc.</a> / Junior Software Engineer<a href="#fn1"
    class="footnote-ref" id="fnref1"
    role="doc-noteref"><sup>1</sup></a></td>
    </tr>
    </tbody>
    </table>
    <style>
    .uooo > table{
      display: table;
    }
    .uooo col {
      width: auto !important;
    }
    </style>
    </div>
    <h1 data-number="3" id="academic"><span
    class="header-section-number">3</span> Academic</h1>
    <h2 data-number="3.1" id="education"><span
    class="header-section-number">3.1</span> Education</h2>
    <div class="uooo">
    <table>
    <colgroup>
    <col style="width: 60%" />
    <col style="width: 40%" />
    </colgroup>
    <thead>
    <tr>
    <th style="text-align: center;">Year</th>
    <th style="text-align: right;">Degree</th>
    </tr>
    </thead>
    <tbody>
    <tr>
    <td style="text-align: center;">2022–2024</td>
    <td style="text-align: right;"><strong>Master of Information
    Sciences in CS</strong>, Tohoku University<br><small>GPA: 3.8<a
    href="#fn2" class="footnote-ref" id="fnref2"
    role="doc-noteref"><sup>2</sup></a>/4.0, Advisor: <a
    href="https://www.kb.ecei.tohoku.ac.jp/~sumii/">Eijiro Sumii</a>,
    Thesis Advisor: <a href="https://okmij.org/ftp/">Oleg
    Kiselyov</a></small></td>
    </tr>
    <tr>
    <td style="text-align: center;">2018–2022</td>
    <td style="text-align: right;"><strong>Bachelor of Engineering in
    CS</strong>, Tohoku University<br><small>Major GPA: 3.73<a
    href="#fn3" class="footnote-ref" id="fnref3"
    role="doc-noteref"><sup>3</sup></a>/4.0, Advisor: <a
    href="https://www.kb.ecei.tohoku.ac.jp/~sumii/">Eijiro Sumii</a>,
    Thesis Advisor: <a href="https://okmij.org/ftp/">Oleg
    Kiselyov</a></small></td>
    </tr>
    <tr>
    <td style="text-align: center;">2014–2015</td>
    <td style="text-align: right;"><strong>Dropout</strong><a
    href="#fn4" class="footnote-ref" id="fnref4"
    role="doc-noteref"><sup>4</sup></a>, <em>An evening high
    school</em></td>
    </tr>
    </tbody>
    </table>
    <!-- 2015        | Pass the Upper Secondary School Equivalency Examination -->
    <!-- https://github.com/jgm/pandoc/issues/8139 -->
    <style>
    .uooo > table{
      display: table;
    }
    .uooo col {
      width: auto !important;
    }
    </style>
    </div>
    <!-- Detail: **[CV (pdf)](https://moatom.github.io/profile/static/cv-pub.pdf)** -->
    <h2 data-number="3.2" id="publications"><span
    class="header-section-number">3.2</span> Publications</h2>
    <p>Only international publications are listed:</p>
    <div id="refs-moatom" class="references csl-bib-body"
    data-entry-spacing="0" role="list">
    <div id="ref-strymonas-OCaml22" class="csl-entry" role="listitem">
    <div class="csl-left-margin">[1] </div><div
    class="csl-right-inline"><div class="csl-block">Kiselyov, O.,
    <strong>Kobayashi, T.</strong>, Biboudis, A. and Palladinos, N.
    </div><div class="csl-block"><a
    href="https://arxiv.org/abs/2211.13461">Highest-performance stream
    processing</a>. <div class="csl-block">ACM SIGPLAN OCaml Workshop
    2022.</div></div></div>
    </div>
    <div id="ref-strymonas-PEPM24" class="csl-entry" role="listitem">
    <div class="csl-left-margin">[2] </div><div
    class="csl-right-inline"><div class="csl-block"><strong>Kobayashi,
    T.</strong> and Kiselyov, O. </div><div class="csl-block"><a
    href="https://doi.org/10.1145/3635800.3636962">Complete stream
    fusion for software-defined radio</a>. <div class="csl-block">In
    <em>Proceedings of the 2024 <span>ACM</span> <span>SIGPLAN</span>
    international workshop on partial evaluation and program
    manipulation</em>. pages 57–69.</div></div><div
    class="csl-block"><div class="csl-right-inline">-
    <strong>Distinguished Papar Award 🎉</strong></div><div
    class="csl-right-inline">- There is a typo in p.62;
    <span>s/<span>“reduce trep”</span>/<span>“dot
    trep”</span>/g</span>.</div></div></div>
    </div>
    </div>
    <h2 data-number="3.3" id="awards"><span
    class="header-section-number">3.3</span> Awards</h2>
    <div class="uooo">
    <table>
    <colgroup>
    <col style="width: 60%" />
    <col style="width: 40%" />
    </colgroup>
    <thead>
    <tr>
    <th style="text-align: center;">Year</th>
    <th style="text-align: right;">Award</th>
    </tr>
    </thead>
    <tbody>
    <tr>
    <td style="text-align: center;">2024</td>
    <td style="text-align: right;">ACM SIGPLAN PEPM 2024 Distinguished
    Paper Award (<a href="./static/award-pepm24.jpeg">image</a>)</td>
    </tr>
    <tr>
    <td style="text-align: center;">2020</td>
    <td style="text-align: right;">[JPN] JSSST 2020 Best Presentation
    Award (<a href="./static/award-jssst20.jpeg">image</a>)</td>
    </tr>
    </tbody>
    </table>
    <style>
    .uooo > table{
      display: table;
    }
    .uooo col {
      width: auto !important;
    }
    </style>
    </div>
    <h2 data-number="3.4" id="grants"><span
    class="header-section-number">3.4</span> Grants</h2>
    <ul>
    <li><a href="https://pac.sigplan.org/">ACM SIGPLAN Professional
    Activities Committee (PAC) Funding</a> 2024: $1500</li>
    </ul>
    <h1 data-number="4" id="skills-and-tools"><span
    class="header-section-number">4</span> Skills and Tools</h1>
    <h3 data-number="4.0.1" id="professional-experience"><span
    class="header-section-number">4.0.1</span> Professional
    Experience</h3>
    <ul>
    <li>Scala, Python</li>
    <li>GitHub Enterprise, Makefile, Docker, Ansible, Jenkins</li>
    <li>Protocol Buffers, Niginx, MySQL, Redis, Akka, Apache Spark</li>
    <li>On-prem environment</li>
    </ul>
    <h3 data-number="4.0.2" id="all-in-all"><span
    class="header-section-number">4.0.2</span> All in All</h3>
    <ul>
    <li>Main Languages: Scala, OCaml, C, Python, JavaScript/Vue
    <ul>
    <li>Sub Languages: Kotlin, C++, Rust, Lua, Java</li>
    </ul></li>
    <li>Git, LaTeX, Valgrind, GitHub Actions</li>
    </ul>
    <section id="footnotes" class="footnotes footnotes-end-of-document"
    role="doc-endnotes">
    <hr />
    <ol>
    <li id="fn1"><p>I primarily work on developing an auction-based
    internet advertising delivery system, commonly known as Real-Time
    Bidding (RTB). I have ever recieved monthly MVP twice in the
    Software Development Department.<a href="#fnref1"
    class="footnote-back" role="doc-backlink">↩︎</a></p></li>
    <li id="fn2"><p>Please note that GPAs tend to be graded strictly in
    Japan. As a side note, I was exempted from the written exam when I
    entered the graduate school.<a href="#fnref2" class="footnote-back"
    role="doc-backlink">↩︎</a></p></li>
    <li id="fn3"><p>The same as 2.<a href="#fnref3"
    class="footnote-back" role="doc-backlink">↩︎</a></p></li>
    <li id="fn4"><p>Instead, I earned a high school equivalency diploma
    issued by the Japanese government. <em>It was pretty scary at the
    time, but looking back, it was one of the best decisions I ever
    made.</em><a href="#fnref4" class="footnote-back"
    role="doc-backlink">↩︎</a></p></li>
    </ol>
    </section>
  </div>
    <footer>
    <p>© 2025 Tomoaki Kobayashi, CC BY 4.0</p>
  </footer>
</body>

</html>