両方とも前のリビジョン前のリビジョン次のリビジョン | 前のリビジョン |
public:start [2022/06/17 14:13] – [岩崎研究室] iwasaki | public:start [2023/10/10 12:47] (現在) – [ニュース] iwasaki |
---|
| |
===== ニュース ===== | ===== ニュース ===== |
| * (2023/10) 大塚と岩崎の論文「Haskell Library for Safer Virtual Machine Introspection (Experience Report)」が[[https://www.growkudos.com/publications/10.1145%25252F3609026.3609732/reader|ACM Showcase on Kudos]]に掲載されました. |
| * (2023/9) 山本が[[https://jssst2023.wordpress.com/|日本ソフトウェア科学会第40回大会]]にて登壇発表しました. |
| * (2023/9) 大塚が[[https://icfp23.sigplan.org/home/haskellsymp-2023|Haskell 2023]]にて登壇発表しました. |
| * (2023/7) 大塚と岩崎の論文「Haskell Library for Safer Virtual Machine Introspection (Experience Report)」が[[https://icfp23.sigplan.org/home/haskellsymp-2023|Haskell 2023]]に採録されました. |
| * (2023/5) 冨井と岩崎の論文「メタヒューリスティクスの適用を効率的に記述するドメイン特化言語」が日本ソフトウェア科学会 コンピュータソフトウェアに採録されました. |
| * (2023/3) 齊藤が[[https://jssst-ppl.org/workshop/2023/|PPL 2023]]にて口頭発表を行い, [[https://jssst-ppl.org/workshop/2023/#winning|発表賞]](学生の部) を受賞しました. |
| * (2023/1) 齊藤と岩崎らの論文が[[https://jssst-ppl.org/workshop/2023/|PPL 2023]]のカテゴリ1に採録されました. |
| * (2023/1) 齋藤が[[https://prosym.org/64/|情報処理学会第64回プログラミング・シンポジウム]]にて口頭発表しました. |
| * (2022/10) 平澤,岩崎,小野澤らの論文「Generating Virtual Machine Code of JavaScript Engine for Embedded Systems」が [[https://www.ipsj.or.jp/english/organization/aboutipsj/award/ssp_award.html|Specially Selected Paper]]に選ばれました. |
| * (2022/9) 冨井と岡本が[[https://jssst2022.wordpress.com/|日本ソフトウェア科学会第39回大会]]にて口頭発表しました. |
| * (2022/6) 平澤,岩崎,小野澤らの論文「Generating Virtual Machine Code of JavaScript Engine for Embedded Systems」が情報処理学会英文誌 Journal of Information Processing に採録されました. |
| * (2022/5) 宮島と岩崎らの論文「TABLET: ブロック型言語からテキスト型言語への移行を補助するプログラミング学習環境」が情報処理学会論文誌 プログラミングに採録されました. |
* (2022/4) 岩崎が明治大学理工学部情報科学科に転出しました. | * (2022/4) 岩崎が明治大学理工学部情報科学科に転出しました. |
* (2022/3) 宮島が[[https://sigpro.ipsj.or.jp/pro2021-5/|情報処理学会第138回プログラミング研究会]]にて口頭発表しました. | * (2022/3) 宮島が[[https://sigpro.ipsj.or.jp/pro2021-5/|情報処理学会第138回プログラミング研究会]]にて口頭発表しました. |
^ 役職/学年 ^ 名前 ^ Name ^ Email ^ | ^ 役職/学年 ^ 名前 ^ Name ^ Email ^ |
| (教授) | [[http://ipl.cs.uec.ac.jp/~iwasaki/|岩崎 英哉]] | IWASAKI Hideya | iwasaki + @cs.uec.ac.jp | | | (教授) | [[http://ipl.cs.uec.ac.jp/~iwasaki/|岩崎 英哉]] | IWASAKI Hideya | iwasaki + @cs.uec.ac.jp | |
| 修士2年生 | 安積 直道 | ASAKA Naomichi | 20nasaka + @ipl.cs.uec.ac.jp | | | 博士1年生 | 齋藤 匡 | SAITO Tadashi | 20tsaitou + @ipl.cs.uec.ac.jp | |
| ::: | 冨井 陸矢 | TOMII Rikuya | 20rtomii + @ipl.cs.uec.ac.jp | | | 修士2年生 | 大塚 貴斗 | OTSUKA Takato | 21totsuka + @ipl.cs.uec.ac.jp | |
| ::: | 長安 尚之 | NAGAYASU Naoyuki | 20nnagayasu + @ipl.cs.uec.ac.jp | | |
| 修士1年生 | 大塚 貴斗 | OTSUKA Takato | 21totsuka + @ipl.cs.uec.ac.jp | | |
| ::: | 岡本 憲汰 | OKAMOTO Kenta | 21kokamoto + @ipl.cs.uec.ac.jp | | | ::: | 岡本 憲汰 | OKAMOTO Kenta | 21kokamoto + @ipl.cs.uec.ac.jp | |
| ::: | 小林 健吾 | KOBAYASHI Kengo | 21kkobayashi + @ipl.cs.uec.ac.jp | | | ::: | 小林 健吾 | KOBAYASHI Kengo | 21kkobayashi + @ipl.cs.uec.ac.jp | |
| ::: | 高橋 裕司 | TAKAHASHI Yuji | 21ytakahashi + @ipl.cs.uec.ac.jp | | | ::: | 高橋 裕司 | TAKAHASHI Yuji | 21ytakahashi + @ipl.cs.uec.ac.jp | |
| 学域4年生 | 齊藤 百香 | SAITO Momoka | 22msaito + @ipl.cs.uec.ac.jp | | | 修士1年生 | 齊藤 百香 | SAITO Momoka | 22msaito + @ipl.cs.uec.ac.jp | |
| ::: | 山本 武蔵 | YAMAMOTO Musashi | 22myamamoto + @ipl.cs.uec.ac.jp | | | ::: | 山本 武蔵 | YAMAMOTO Musashi | 22myamamoto + @ipl.cs.uec.ac.jp | |
| 研究生 | 齋藤 匡 | SAITO Tadashi | 20tsaitou + @ipl.cs.uec.ac.jp | | | 研究生 | 崔 博 | CUI Bo | 22bcui + @ipl.cs.uec.ac.jp | |
| ::: | 崔 博 | CUI Bo | | | |
[[alumni|卒業生一覧]] | [[alumni|卒業生一覧]] |
| |