---
# System prepended metadata

title: 進捗報告
tags: [lab]

---

###### tags:`lab`

# 進捗報告
| イベント | 締め切り | DONE |
| :---: | --- | --- |
| 提案アルゴリズムの証明 | 10月末 | ✅ |
| 原稿仕上げ目標 | 11/20 | ✅ |
| 原稿〆切 | 12/4 | ✅ |

# 2023/11/29

## DONE
- インフルで寝込んでました...🏥
- 原稿が一応形になったので添削お願いします
    - 北村先生，本当にありがとうございました
- 以前頼んでいた，英語スライドの添削もお願いします
- 増澤先生．昨日のMACのabstractへの対応ありがとうございました

- MACですが，間に合うか自信がありません
    - カンペを見ながらの発表であればギリ対応できそうです
    - 発練の日程も早めに決めたいです

## TODO
- [x] COMP研 原稿提出
- [x] スライドの英訳
- [x] 英語カンペの作成
- [x] 英語での発練

## misc
- また佐藤さんと揉めました
    - やりとりを共有しておきます
    - [出張がきまったら.md](https://github.com/masuzawalab/sdlog/blob/main/出張がきまったら.md)を作成したので一刻も早く，確認と共有をお願いします

***

# 2023/11/15

## DONE
- 個人mtgありがとうございました
    - 増澤先生から頂いた証明については現在確認中です
    - 確認が済み次第，今後の証明方針を話し合いたいので個人mtgお願いします
- スライドの英訳
    - 本日の発表で使用したスライドを後ほど提出するので添削お願いします
- OPODIS（聴講）とMAC（発表）の申し込み
    - 宿泊先の手配も終わりました

## TODO
- 証明の確認
- 原稿の完成

## misc
- 情報科学workshopの表彰状を頂きました
    - Webとかに載せられたらいいかも
- このあと13時より卒業アルバムの撮影があるので宜しくお願いします
- 年末の大掃除と忘年会の計画，ありがとうございます

***

# 2023/11/01

## DONE

### 提案アルゴリズムの証明
<details><summary>系1，2の証明</summary>

系1
あるラウンド以降，ロボット$r_1$は$v_{r+\lceil \frac{n-b}{k-1}\rceil}$または$v_{r+\lfloor \frac{n-b}{k-1}\rfloor}$上，もしくは左の頂点に存在する．

系2
あるラウンド以降，$r_0$は$v_{\lceil \frac{n-r+(b+1)(k-1)}{2(k-1)}\rceil}$または$v_{\lfloor \frac{n-r+(b+1)(k-1)}{2(k-1)}\rfloor}$上，もしくは左の頂点に存在する
</details>

北村先生から訂正が入ったため，現在修正中

## DOING

### 提案アルゴリズムの証明
- 北村先生からの添削を反映中

## TODO
- MACの申し込み依頼
- 提案アルゴリズムの証明

## MISC
- 卒業アルバム撮影の日程調整
- 中間報告の日程調整

***

# 2023/10/18

## DONE

- 個人mtgありがとうございました
    - COMP研に向けて提案アルゴリズムの証明を書き切ります
    - 最大距離と最小距離の差の一般化は進捗次第で書きたいと思います
- 申し込み

## DOING

- 提案アルゴリズムの証明
    - 北村先生，添削お願います

## TODO

- 

***

# 2023/09/20

## DONE

### 情報科学ワークショップ
添削，発練ありがとうございました
[質疑応答](https://hackmd.io/@1rgRQO8TSUGO9d5NgZInpg/BJGWTax03)をまとめました

首藤先生のコメントである，最小と最大距離の差をkとする話は個人mtgで相談させてください

### 未解決問題ワークショップ
任意の深さ，子の数を持つ木グラフにおける準均一配置問題

![](https://hackmd.io/_uploads/BJqYe4lyp.jpg)

修論に執筆するかどうか，相談したいです

## TODO
- 提案アルゴリズムの証明
- 木グラフの準均一配置問題を修論に書くか相談
- 距離差の一般化

***

# 2023/08/22

## DONE

### CSセミナー
- 発表
    - 少し実用性の説明をしすぎてしまい，誤解を生んだ
    - 研究説明の導入を考え直す必要あり
- [質問対応](https://hackmd.io/@1rgRQO8TSUGO9d5NgZInpg/BJ0c7VNui)

### 自律分散ロボットで間隔$d$の均一配置を視野$d-1$で実現するアルゴリズム
- [まとめ](https://hackmd.io/@1rgRQO8TSUGO9d5NgZInpg/Sk4VarZKn)
- 証明が一部しか書かれていないため，記載のアルゴリズムが狙い通り動くのか懐疑的です

### ワークショップ
- 不可能証明の一般化
    - 添削お願いします

## DOING

### ワークショップ
- 証明の書き下し
    - 北村先生，明日のmtgお願いします


## TODO

### ワークショップ
- 当日の交通手段手配
    - 以前，泉先生に共有した資料に不備がなければ共有お願いします
    - 未解決問題ワークショップ分の宿を手配すべきか？

***

# 2023/07/11

## DONE

### CSセミナー
- 案内文提出
    - 金くんありがとうございました
- スライド作成
- 発表練習 2回
    - ありがとうございました
    - 発表練習ですが，このまま行きます

発表日は7/13で発表先は長原研になりました
発表練習の際に言った提案アルゴリズムの反例は僕の勘違いでした

### 研究内容 書き下し
- 均一配置の不可能証明
- 左右識別機能を追加
- 提案アルゴリズム
- 添削の反映
    - 添削ありがとうございました

Teamsで送ったので，再度添削お願いします

### 目標学会（？）決定
2023年9月情報科学ワークショップ

## DOING

- [自律分散ロボットで間隔$d$の均一配置を視野$d-1$で実現するアルゴリズム](https://github.com/Luna-stella-831/progressReport/blob/main/COMP2022-3(自律分散ロボットで間隔dの均一配置を視野d-1で実現するアルゴリズム)e07e089597c45a446b42eea524a7c95e3674b3819db7ee255281a719fb67f4ed.pdf)

## TODO
- CSセミナー 
    - スライド修正
- 不可能性証明 一般化
- 提案アルゴリズム 証明の理解

***

# 2023/06/13

## DONE

### 研究内容 書き下し
- モデル
- 問題定義

Teamsで送ったので，添削お願いします

### CSセミナー

[題目，案内文](https://hackmd.io/@1rgRQO8TSUGO9d5NgZInpg/BJ0c7VNui)の相談ありがとうございました
提出先の研究室は伊野研にしようかと考えています

### misc
- Teams移行作業（ist -> ecs）
    - ファイルの移行はおおかた済みました
- 出張が決まった時に見る資料
    - 確認でき次第，共有お願いします

## TODO

- 研究内容の書き下し
    - 素のロボットでは均一配置できないことの証明
    - 左右識別機能の追加に関する説明
- CSセミナー 発表内容提出
    - 金くんがまとめてくれるそうです
- CSセミナー スライド作り
    - スライドの添削，発表練習お願いします

***

# 2023/05/29

## DONE

### Semi-uniform deployment of mobile robots in perfect 𝓁-ary trees
[メモ](https://hackmd.io/@1rgRQO8TSUGO9d5NgZInpg/B18iK1cHn)
アルゴリズム概要は理解できました

### 輪講
Lecture 5

## DOING

### Semi-uniform deployment of mobile robots in perfect 𝓁-ary trees
アルゴリズムの証明の理解

### misc
Teams上のドキュメントを少しずつ整理しています
懇親会や面接のために東京と大阪をずっと行き来しています

## TODO

### パスグラフ上の均一配置問題へ
左右識別機能を追加しなければ均一配置できないことの証明を書く

### CSセミナー
発表内容提出

***

# 2023/05/16

## DONE

### 就活
- 一区切りつきました
- 残った面接を受け切って終了です

## DOING

### 輪講
- Lecture 5

### 研究
- Semi-uniform deployment of mobile robots in perfect 𝓁-ary trees
    - 現在読んでいます

## TODO
### 研究
- 論文の読破
    - 読み終わった時点でTeamsにて連絡します

***

# 2023/04/24

## 研究紹介
{%speakerdeck  khasegw0831/researchcontentsforb4 %}

## DONE

### 就活
- 最終面接を少しずつ受けつつある
    - ソワソワしてるかと思いますが，そっとしておいてください

### misc
- B4向けの研究室に関する記事を作成
    - ドキュメント > misc > 新入生向け
    - Teamsでmdファイルを使うのがしんどい

## DOING

### 研究
- Semi-uniform deployment of mobile robots in perfect 𝓁-ary trees
    - 現在読んでいます

## TODO
### 研究
- 論文の読破
- 提出する学会を目安として決めていきたい
    - 9月にある
    - CSセミナーも

### 輪講
- Lecture 5

***

# 2023/02/21
## DONE
### 研究
{%speakerdeck  khasegw0831/progressreport-k-hasegw-20230220-c9adbc98-e576-4235-82df-1cc7f083d6f7 %}


## DOING
- 帰納法をつかった証明方法の理解
    - まだちゃんと理解しきれていないところがある
    - 北村先生，相談させてください

## TODO
### 研究
- 機能追加の必然性証明
    - 網羅的にできているか確認

## misc
### 係分担

| 係名 | 内容 | 
| :---: | :--- |
| To3 | To3の在庫管理，料金徴収 |
| 宴会 | 打ち上げ，イベント企画 |
| Web | [増澤研ホームページ](http://www-masu.ist.osaka-u.ac.jp)の管理 |
| 備品 | 備品の管理，検印 |
| 旅行 | 研究室旅行の企画 |
| 掃除 | ゴミ捨て，大掃除 |

***

# 2023/01/31
## DONE
### 研究
- 個人mtgありがとうございました
{%speakerdeck  khasegw0831/progressreport-k-hasegw-20230131 %}

### misc
- インターンシップ報告会

## DOING
### 研究
- 帰納法をつかった証明方法の理解
    - まだちゃんと理解しきれていないところがある
    - 北村先生，相談させてください

## TODO
### 研究
- 機能追加の必然証明 
    - 個人mtgで相談させてください．

***

# 2023/01/17
## DONE
### 研究
- CSセミナー
    - 発表
    - 質疑応答提出
- 研究状況の整理
{%speakerdeck  khasegw0831/progressreport-k-hasegw-20230117 %}

## TODO
### 研究
- P(m+1,l)の証明考察
- P(r,n+1)の証明考察
    - 1/23 個人mtgよろしくお願いします

### 就活
- インターン報告会の資料作成

***

# 2022/11/22
## DONE
### 研究
- CSセミナー 案内文提出
    - 相談ありがとうございました
    - 発表は12/7@八木研究室
- アルゴリズムの考察
{%speakerdeck  khasegw0831/f-sync-algo %}
> なんで差が1で動く？差が1は許していい．差が2で動くべき
> 左右の距離を右：偶数，左：奇数で固定するとうまく行きそう
### BM輪講
- 11-11.1章の発表
- Excercise 11.1,11.2の資料作成と発表

## TODO
### 研究
- ロボットの等間隔配置問題について手伝っていただきたいので個人mtgお願いします

***

# 2022/11/02
## agenda
- [ ] CSセミナー
- [ ] 考えたアルゴリズムの吟味
    - [ ] 欠点をどう解決する？
    - [ ] このパターンはあり？
    - [x] 不可能証明はどうしたらいい？
        - 無限ループに陥る or 間違いパターンで止まる
- [ ] アルゴリズムの発明方法はあってる？

- スタートが一緒に始める（f-synx）
- 左右の変化はわからない（oblibius）

- +1をどう許すか？

***

# 2022/11/1
## DONE
### 研究
- パスグラフ上の自律移動型ロボットの等間隔配置問題を単純化
    - ロボット数：2
    - パスグラフの長さ：5
    - 各ロボットは左右がわかる
- 考えたアルゴリズム
    1. 任意のロボットを1つ左右どちらかに動かす
    2. 1で動いたロボット以外は左右の距離をみる
    3. 元々大きかった方の距離が```{（左の距離）+（右の距離）} / 2```になるように動く
    4. 左右の距離が同じだったら停止
- アルゴリズムの欠点
    - おそらくロボット数と長さを増やしてもできそう
    - 完全な等間隔が不可能な場合は+1まで許容とすると停止しない
    - ロボットは1回に1マスしか移動できない
### BM輪講
- Exercise9.1,2の資料作成，発表
- 11-11.1章の資料作成
### To3
- 飲みもの販売開始

| 商品名 | 値段（円） | 
| :---: | ---: |
| 水（500mL） | 70 |
| 水（2L） | 100 |
| ブラックコーヒー | 110 |
| ファンタグレープ | 100 |
| コカ・コーラ | 90 |
| ZONE | 170 |
| 午後の紅茶 ミルクティー | 80 |

## TODO
### 研究
- ロボット数と長さを増やしても上記アルゴリズムが成り立つか考える
- 参考になりそうな論文を呼んでみる
    - [限られた視界を持つ1台のロボットによる線分被覆問題](https://www.ipsj-kyushu.jp/page/ronbun/hinokuni/1005/5B/5B-1.pdf)
- 個人mtg（11/2 12:00-）よろしくお願いします

### BM輪講
- Excercise 11.1,11.2

***

# 2022/10/18
## DONE
- 研究テーマ決定
    - 視野欠損のあるモバイルロボット
- 論文読み
    - Distributed Computing By Mobile Enities
    - ロボットの動きについて大まかに理解しました

## DOING
![](https://i.imgur.com/OjNrp2m.png)
- ロボットを等間隔に並べる
    - 完全な等間隔が不可能な場合は+1まで許容
- ロボットは以下の性能
    - 1つ隣のロボット（or 壁）までの距離はわかる
    - 右，左がわかる（後にわからない場合も考える）

- もし全ロボット数とノード数が分かれば...
    - 隣との間隔はおおよそ
    ```（ノード数）➗（ロボットの数）```
    - 自分の右のロボットとの感覚を上記にするように動けばいい

## TODO
### ロボット配置問題
- 上記の問題を考える
### BM輪講
- Exercise9.1,2
### misc
- To3 商品追加

***

# 2022/09/14
## DONE
- インターン
    - アプリケーション開発における```企画->開発->ユーザテスト```の一連の流れを経験しました
    - Teamsの[予定表機能](https://www.bcnretail.com/market/detail/20201231_205182.html)がとても便利でした

## TODO
- To3開発開始
    - サーバが有料になるそうです（11/29以降）
        - インターネット管理をやめる
        - GCEなどで無料枠を代替する
- 研究テーマ決定

***

# 2022/08/22
## DONE
- TA SEEDs
### 論文紹介
- introduction 精読
### 就活
- ポニーキャニオン ES提出

## DOING
### 論文紹介
- スライド作成

## TODO
### 論文紹介
- 発表