季承成 | CHENGCHENG JI

季承成 | CHENGCHENG JI

计算机科学与信息技术 博士 | Ph.D. in Computer Science and Information Technology

关于我的一点点/A Little About Me

您好，我是一名计算机科研工作者。游戏玩家。软件工程师。音乐爱好者。
我在日本北海道学习、生活了9年。
我对提出问题、分析问题、解决问题非常感兴趣。

こんにちは、私は情報科学研究者です。ゲームプレーヤーです。ソフトウェアエンジニアです。音楽アマチュアです。
日本の北海道に９年間に生活していました。
問題の発見、分析、解決することに対してすごく興味を持っています。

Hello. I am a computer scientist.a gamer.a software engineer.a music amateur.
I had been living in Hokkaido, Japan for 9 years.
I am passionate about thinking of, assessing and solving problems.


项目/Projects


扑克大作战

一款iOS平台的人机对战卡牌游戏。
I developed a Human vs. Computer card game for iOS.


HIU授课系统

一套为北海道信息大学定制开发的智能设备授课系统。
I developed a smart-device based lecture supporting system for Hokkaido Information University.


归纳定理自动推理系统

一款以代数理论为主的多重文脉归纳定理自动推理机和一款多重文脉完备化系统
I implemented a multi-context inductive theorem prover lz-itp and a multi-context completion system lz-mkb.


Capital-g.cc

我的个人博客网站
大写的G
I created my own blog website
capital-g.cc.

科学的思考方式/Scientific Thinking

观察
Observe

比较
Compare

排序和组织
Sort&Organization

猜想
Speculate

实验
Experiment

评估
Evaluate

有趣的点/Fun Fact

《英雄联盟》曾到达白金段位

INTP性格，不轻言放弃，擅长逻辑思考，能在高压下解决问题

可以在100秒内还原魔方

为了给自己伴奏自学了钢琴和吉他

研究经历/研究歴/Research History

2019

博士
Ph.D.

北海道大学/北海道大学
Hokkaido University

从事人工智能领域的基于项重写系统的定理自动证明的研究和开发。

● 进行了人工智能领域关于项重写系统的理论研究。
● 进行了多重文脉代数定理自动推理机的设计、开发、实验。
● 进行了多重文脉归纳定理自动证明机的设计、开发、实验。
● 提出了新的自动辅助定理自动生成方法，并实现该方法解决了之前无法解决的问题。

参与了2项日本国家级课题研究(JSPS), 并担任了主要研究工作。
该研究在相关领域的世界范围内属于领先水平。

2014

硕士
Master

北海道信息大学/北海道情報大学
Hokkaido Information University

从事利用智能终端的高校课上辅助系统的研究和开发。

进行了系统的设计、开发、实验，使之具备：
● 学生和教师的画面同步功能
● 可以进行自由/同步标记功能
● 线下复习功能

在北海道信息大学进行了试点应用，获得师生一致好评。
该系统有望运用在商务会谈和远程会议等其他场景。

学历/学歴/Education History

2019

计算机科学与信息技术/情報科学
Computer Science and Information Technology

北海道大学/北海道大学
Hokkaido University

博士期间，研究人工智能领域的基于项重写系统的归纳定理自动证明，提出了新的自动辅助定理生成方法，并基于函数式编程语言Scala独立开发了多款的多重文脉理论自动证明系统，研究成果在中、美、日等多国发表。

2014

经营信息学/経営情報学
Business Administration and Information Science

北海道信息大学/北海道情報大学
Hokkaido Information University

硕士期间独立设计并开发了一套以智能终端(iOS)为基础的高校课上辅助系统《HIU Lecture System》，并在北海道信息大学试用后，取得了广泛好评。

2012

信息媒体学/情報メディア
Information Media

北海道信息大学/北海道情報大学
Hokkaido Information University

本科时自学Objective-C，独立设计并开发了一款iPhone手机卡牌游戏《扑克大作战》。

2010

IT日语/IT日本語
Information Technology Japanese

南京大学/南京大学
Nanjing University

机缘巧合踏上日本留学之路。

领英账号/ Linkedinプロファイル/ Linkedin Profile

点击下方按钮访问我的领英页面。
Click the button below to visit my Linkedin page.
下のボタンをクリックして私のLinkedinページを見ることができます。

Linkedin

研究成果/研究業績/Research Achievements

    学术期刊/ジャーナル/Journal

  • CC. Ji, M. Kurihara, and H. Sato, “Multi-context automated lemma generation for term rewriting induction with divergence detection,” IEICE Transactions on Information and Systems, vol.E102-D, No.2, pp. 223-238 (SCI, 2019).
  • CC. Ji, H. Sato, and M. Kurihara, “Lazy evaluation schemes for efficient implementation of multi-context algebraic completion system,” IAENG International Journal of Computer Science, vol.42, no.3, pp. 282–287 (EI, 2015).
    国际会议/国際会議/International Conference

  • CC. Ji, H. Sato, and M. Kurihara, “An efficient implementation of multi-context algebraic reasoning systems with lazy evaluation”, Lecture Notes in Engineering and Computer Science: International MultiConference of Engineers and Computer Scientists 2015, HongKong, China, pp. 201–205 (EI, 2015).
  • CC. Ji, H. Sato, and M. Kurihara, “A new implementation of multi-context algebraic inductive theorem prover”, Lecture Notes in Engineering and Computer Science: Proc. The World Congress on Engineering and Computer Science 2015, San Francisco, USA, pp. 109-114 (EI, 2015).
  • M. Kurihara, H. Sato, and CC. Ji, “Automated Proof and Discovery of Inductive Theorems with Rewriting Induction over Multi-Context Reasoning Systems: State-of-the-Art Technologies and Perspectives,” Lecture Notes in Engineering and Computer Science: Proc. of The World Congress on Engineering and Computer Science 2018, San Francisco, USA, pp. 149-154 (EI, 2018).
    公开演讲/講演/Invited Presentations

  • CC. Ji and M. Kurihara, “Lazy evaluation schemes for efficient implementations of multi-context algebraic reasoning systems,” Computational Logic in the Alps workshop, TRS meeting, Innsbruck, Austria (2016).
  • CC. Ji, H. Sato, and M. Kurihara, “Lazy evaluation schemes for efficient implementation of multi-context algebraic reasoning systems,” The 78th National Conference of IPSJ, Yokohama, Japan (2016).

获奖/受賞/Awards

    论文获奖/論文受賞/Paper Awards

  • Best Student Paper Award of International Conference on Computer Science and Applications 2015
  • Certificate of Merit for The 2015 IAENG International Conference on Computer Science
    其他/その他/Others

  • 江苏省应用物理竞赛一等奖
  • 信息学奥林匹克竞赛江苏省三等奖
  • 日本文部科学省外国人留学生奖学金

开发技能/開発スキル/Development Skills

Scala

Objective-C

Java

Php

JavaScript

CSS

Haskell

SQL

C++

C

PASCAL

HTML5

小程序

语言能力/言語能力/Language

中文 (母语) / Chinese (native)

日文 (流利) / Japanese (Fluent)

英文 (流利) / English (Fluent)

我的作品/My Works

Multi-context Automated Lemma Generation For Term Rewriting Induction with Divergence Detection

Multi-context Automated Lemma Generation For Term Rewriting Induction with Divergence Detection

IEICE 2019 (Journal Paper, SCI)

Lazy Evaluation Schemes for Efficient Implementation of Multi-Context Algebraic Completion System

Lazy Evaluation Schemes for Efficient Implementation of Multi-Context Algebraic Completion System

IJCS 2015 (Journal Paper, EI)

Automated Proof and Discovery of Inductive Theorems with Rewriting Induction over Multi-Context Reasoning Systems: State-of-the-Art Technologies and Perspectives

Automated Proof and Discovery of Inductive Theorems with Rewriting Induction over Multi-Context Reasoning Systems: State-of-the-Art Technologies and Perspectives

WCECS 2018 (Conference Paper, EI)

A New Implementation Of Multi-context Algebraic Inductive Theorem Prover

A New Implementation Of Multi-context Algebraic Inductive Theorem Prover

WCECS 2015 (Conference Paper, EI)

An Efficient Implementation of Multi-Context Algebraic Reasoning System with Lazy Evaluation

An Efficient Implementation of Multi-Context Algebraic Reasoning System with Lazy Evaluation

IMECS 2015 (Conference Paper, EI)

扑克大作战 <br> ポーカー大作戦 <br> Poker Battle

扑克大作战
ポーカー大作戦
Poker Battle

独立开发的一款iOS平台的人机对战卡牌游戏

HIU授课系统 <br> HIU授業支援システム <br>HIU Lecture System

HIU授课系统
HIU授業支援システム
HIU Lecture System

独立研发的为大学授课开发的智能设备授课系统

Game Illustrator

Game Illustrator

联系我吧/Let’s Get In Touch

ChengCheng Ji

ChengCheng Ji

kisyousei#capital-g.cc
    ↑请自行替换#符号为@
    Please replace the # with @

给我留言/Drop Me A Line

最新文章/LATEST FROM THE BLOG

更多/SEE ALL POSTS