Skip to content

ローカル LLM を用いた数学学習支援アプリの設計と実装

Sep 2026 · Zenodo (CERN European Organization for Nuclear Research)

Abstract

近年,AIを学習の補助に用いる学生が増えている.しかし,無料プランと有料プランでは利用できるモデルや機能に差があり,費用の負担が学習機会の格差につながる可能性がある.そこで私たちは,有料のAIサービスを継続して利用することが難しい生徒にもAIを用いた学習環境を届けるため,数学学習支援アプリを開発した.このアプリは,大規模言語モデル(large language model,LLM)を利用者の端末で実行するローカルLLMを採用している.質問ごとの外部の推論サービスへの利用料を避け,アプリを無料で提供する構成とした.本稿で紹介する「AI先生 高校数学」は,文章または写真による質問を受け付け,教材を参照しながら日本語で解き方を説明する.実装では質問の内容を整理する段階と説明を生成する段階を分け,それぞれに必要な情報をモデルに入力する.開発環境で比較したところ,質問の整理に不要な指示を除くと回答が現れるまでの待ち時間が短縮した.また,iOSへの実装ではモデルの呼び出し方と実行条件を調べ,開発環境との違いに起因する不具合を特定した.本研究では,無料で利用できる数学学習支援を実現するための設計と,開発過程で生じた問題への対処を報告する.

View source

Similar papers

#computer vision Open access Jun 2016

Software Development in Startup Companies: The Greenfield Startup Model

The results are packaged in the Greenfield Startup Model (GSM), which explains the priority of startups to release the product as quickly as possible, and the need to shorten time-to-market, by speeding up the development through low-precision engineering activities.

Carmine Giardino, Nicolò Paternoster, M. Unterkalmsteiner et al. · 178 citations · ⚡14
#computer vision Open access Oct 2016

Software Startups - A Research Agenda

Software startup companies develop innovative, software-intensive products within limited timeframes and with few resources, searching for sustainable and scalable business models.

M. Unterkalmsteiner, P. Abrahamsson, Xiaofeng Wang et al. · 157 citations · ⚡17
#machine learning Review Open access Oct 2016

“Failures” to be celebrated: an analysis of major pivots of software startups

This study conducts a case survey study based on the secondary data of the major pivots happened in 49 software startups, and demonstrates that customer need pivot is the most common among all pivot types.

Sohaib Shahid Bajwa, Xiaofeng Wang, Anh Nguyen-Duc et al. · 127 citations · ⚡15
#computer vision Review Open access May 2015

A survey study on major technical barriers affecting the decision to adopt cloud services

The comparison of adopter and non-adopter sample reveals three potential adoption inhibitor, security, data privacy, and portability, which underlines the importance of the technical and security perspectives for research investigating the adoption of technology.

Nattakarn Phaphoom, Xiaofeng Wang, S. Samuel et al. · 111 citations · ⚡8
#computer vision Conference Open access Dec 2013

Affordable and Energy-Efficient Cloud Computing Clusters: The Bolzano Raspberry Pi Cloud Cluster Experiment

The ongoing work building a Raspberry Pi cluster consisting of 300 nodes is presented, with potential use cases being an inexpensive and green test bed for cloud computing research and a robust and mobile data center for operating in adverse environments.

P. Abrahamsson, S. Helmer, Nattakarn Phaphoom et al. · 110 citations · ⚡7
#computer vision Book Open access Mar 2017

On the Unhappiness of Software Developers

The results indicate that software developers are a slightly happy population, but the need for limiting the unhappiness of developers remains, and 219 factors representing causes of unhappiness while developing software are identified.

D. Graziotin, Fabian Fagerholm, Xiaofeng Wang et al. · 84 citations · ⚡6

Related blog posts

MIT News · Artificial Intelligence Sep 14, 2026

New method enables AI for safety-critical situations

The “HardFlow” algorithm could help generative AI models produce high-quality outputs that obey strict requirements when “pretty close” doesn’t cut it.

GPT-Lab Sep 10, 2026

Responsible AI Must Consider Its Afterlife

AI may appear weightless, but every model depends on physical infrastructure. To understand responsible AI, we need to look beyond algorithms and consider the entire lifecycle of the hardware behind them. The post Responsible AI Must Consider Its Afterlife appeared first on GPT-Lab.

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.