copilot shellの実装案。

本物のコンソールはこんな感じで進行する。ここで、command1は通常のPowerShellコマンドで、??はLLMへのクエリ。

PS> command1
result1
PS> ?? prompt2
reasoning2
>> command2
confirm: Y
result2
PS> ?? prompt3

同じコンソールが、LLM側からはこう見えるようにする。

PS> command1
result1
PS> #prompt2
PS> #reasoning2
PS> command2
result2
PS> #prompt3
PS> #

この方式だと、めちゃくちゃシンプルなfunction callingが実現するね。

これもchatテンプレート使えないから、手作業でプロンプト作らないと駄目なやつだけど。

#prompt2 #ClassroomMath #ClassroomChem
In chem lab, I spend a lot of time at the beginning of the year reminding students about safety goggles and attending open flames. It sounds stressful, but usually it’s not bad, and the kids’ actions tell me when I need to intervene.

I heard the group of girls say, “ahhh!” as they moved apart, I grabbed a beaker to scoop up the spider and release it outside. I wished it many tasty bugs. Then I realized that it was black and did it have a red belly???!

#ClassroomMath #Prompt2 This year was all over the place, but my kids were really great. One day I was clearly frustrated, and when the kids asked I just said I had a disagreement with some of my colleagues, and then they surprised me with a note that was admittedly inappropriate but well-intentioned about how they liked my class and that they had my back. It was a really nice moment that made me laugh.
I once had a 3rd floor classroom that was missing the screen on the window. I had told maintenance about it many times but kept my windows closed so it wasn't a huge deal. Well then we had one of those days in the winter where the heat got broken on too hot (happened fairly often at that school) so a student asked to open a window and without thinking I said sure. Next thing I know, a student has thrown his shoe out the window just so he could "see for sure that there was no screen". What?! Teaching freshmen is an adventure sometimes...
#classroommath #prompt2

My small story about one of my favorite moments from this past school year:
Me and a math teacher at a nearby elementary school started a partnership last year between my math team and his 5/6th grade Math Olympiad math team. I traveled with my students every 3-4 weeks to the elementary school so my kids could work with and help his kids complete problems, develop problem solving strategies, etc. So cute and heartwarming to watch them work together.
The big end of year event was a district-wide fun math competition at my high school for all 5/6th graders in the district. My students helped me create a middle-school friendly, pump-up playlist to blast as all the buses arrived with the middle schoolers (lots of Katy Perry, Taylor Swift, Bruno Mars lol). Watching the high schoolers yell the lyrics and cheer for the younger kids and greet them with a huge high-five line as they got off the buses was so fun to see - an amazing end to the school year!

#Prompt2 #ClassroomMath

@Cmmteach CASEY!!!! I'm so so happy you are here with us! We have prompts!! Click on #prompt1 #prompt2 #prompt3 You can read and join in on the fun! #classroommath #mtbos
@druinok @Cmmteach if you go to https://samjshah.com/2023/07/04/lets-get-mathstodoning-together/ you can scroll from the bottom up to see some prompts you can post about - and if you look at the hashtags #prompt1 #prompt2 and #prompt3 you can reply to others to start conversations! :)
Let’s Get MATHStodoning Together!

As we start navigating mathstodon together, my friend Julie and I are trying to create conversation, community, and maybe even friendship here by posting prompts to get us all talking! Now that the…

Continuous Everywhere but Differentiable Nowhere

I was teaching 7th grade math, and we were discussing the concepts of integers and their opposites.

Students were giving real life examples of numerical opposites, like making $50 and owing $50.

One kid suggested 12 donuts.

Me, surprised: What's the opposite of positive twelve donuts?

Kid, exasperated and clearly questioning my intelligence: Negative twelve donuts!

Me:

#ClassroomMath #prompt2

@samjshah @jreulbach
#ClassroomMath #Prompt2

Here's a small story:
My first year teaching, we did a review game the day before the final exam in Algebra 2. The class was split into two teams; students conferred with teammates and raced to answer each question before the other team did. One team was way ahead, so when we got to the last question, the other team wasn’t even going to try, because they couldn’t win (the prize was an extra point on the final exam for everyone on the team). In the heat of the moment, I declared that the last question was “winner take all” and either team could win the extra credit. What happened? The “behind” team answered first and the “ahead” team revolted in howls of protest. I had pulled the rug out from under the “ahead” team which really wasn’t fair after their good efforts during the review. I decided to backtrack and grant everyone the extra credit.
Lesson learned: changing the rules midstream isn’t fair to those who’ve been working with the old system (and there’s other ways to motivate students to review besides a zero-sum game).

-- I wrote about some lessons I've learned in a post last fall (this was an excerpt): https://karendcampe.wordpress.com/2022/09/09/lessons-learned/
#MTBoS #iTeachMath

Lessons Learned

It’s September and time for a new school year.  I’ve taught high school, middle school, college pre-service teachers, and elementary enrichment.  Here are some lessons I&#8217…

Reflections and Tangents

#ClassroomMath #prompt3

This week will be fun and frivolous in the best kind of way, dear peeps who love math and teaching! We’re going to do two things. We’re going to play “Some truths and maybe a lie?” and also you’ll share a photograph from your phone that brings you joy -- and explain why.

In your post:
1. Write down three facts about yourself, but one, two, or all three can be lies!
2. Share your photo and explain why it brings you joy.
3. Tag your post with #prompt3 and #ClassroomMath

Of course the whole point of this is to get people talking! So after you post, look around at other posts with the #prompt3 hashtag and make a guess! Are any of them lies? All of them? Bonus fake points if you start talking with someone you’ve never talked to.

As always, to practice using mathstodon, two challenges. First, find a new hashtag based on one of your interests that people are posting with (for example, #knitting) and “follow it” so it shows up in your timeline. Then share it with the #ClassroomMath community in case others are interested.

Second, many of you have been using the official mastodon app, but (@jreulbach and @samjshah) have tried many apps and we’re loving IceCube for iPhones: https://apps.apple.com/us/app/ice-cubes-for-mastodon/id6444915884. So our first suggestion is to check that out!

If you have any ideas for future prompts or ways to build community, please DM @samjshah and @jreulbach! We’d love help keeping the conversations happening!

[Note: If you want to know what the previous prompts were, you can read them here https://samjshah.com/2023/07/04/lets-get-mathstodoning-together/ and you can also search for #prompt1 and #prompt2 to see the replies!]

Ice Cubes for Mastodon App - App Store

Download Ice Cubes for Mastodon by Thomas Ricouard on the App Store. See screenshots, ratings and reviews, user tips, and more apps like Ice Cubes for Mastodon.

App Store