Skip to content

This issue was moved to a discussion.

You can continue the conversation there. Go to discussion →

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[Art competition] Semantics #116

Closed
kingdoctor123 opened this issue Nov 29, 2022 · 2 comments
Closed

[Art competition] Semantics #116

kingdoctor123 opened this issue Nov 29, 2022 · 2 comments

Comments

@kingdoctor123
Copy link
Contributor

DALL·E 2022-11-29 19 53 32 - wide road in the middle, skyscrapers at each side of the road, no people, devastated city

Short Description

For me, [Semantics] means [wide road in the middle, skyscrapers at each side of the road, no people, devastated city]".

Long Description (up to 3 sentences)

Without human, everything in modern city becomes meaningless as depicted in the picture. Likewise, without semantics of a language, everything we've talked in the class including programming, program verification, and program synthesis become meaningless. In this sense, we can say the role of semantics in programming is similar to the role of human in modern city.

@KihongHeo
Copy link
Contributor

KihongHeo commented Nov 29, 2022

Oh, you emphasize human (semantics) by NOT drawing human (semantics)? 烘雲托月?

@kingdoctor123
Copy link
Contributor Author

Yes. I could only come up with this idea to emphasize human effectively. I'm happy that you understood my intention correctly.

@KihongHeo KihongHeo reopened this May 30, 2024
@prosyslab-classroom prosyslab-classroom locked and limited conversation to collaborators May 30, 2024
@KihongHeo KihongHeo converted this issue into discussion #250 May 30, 2024

This issue was moved to a discussion.

You can continue the conversation there. Go to discussion →

Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants